In message <871wsrznpf.wl%rpaulo@fnop.net>, Rui Paulo writes:
>At Tue, 11 Jul 2006 14:34:41 +0000 (UTC),
>Martijn van Buul wrote:
>> I believe there's a gcc option to use SSE2 floating
>> point over i387 floating point, but I may be mistaken there.
>
>-mfpmath=sse,i387

Yes.

And when I built a kernel with sse, I got horrible crashes and panics using
audio unless I went single-user.

So there may be some quirks in how these options interact with assumptions
made about register saving.

-s