On Jul 11, 2005, at 8:04 PM, Rui Paulo wrote:

> If no one is against this, please send me an email saying the ports  
> you
> know that use/don't use lazy fpu context switching.

I'm pretty sure that every platform that can support it does.  I  
think this is basically "every FPU-supporting platform except for  
m68k platforms".  m68k is the exception because I don't think there  
is a way to disable the FPU (a requirement for lazy FP switching).

I don't see much value in creating such a table.

-- thorpej