Hi Chris,

> > I believe the idea was to change the *kernel* to do lazy FP
> > saving.  How will that change vfprintf?
> 
> you have it backward:
> 
> the idea was to change vfprintf, because, on some systems that do lazy
> FP saves, the current vfprintf causes FP context to be saved/restored
> even when no FP is actually _used_.
> 
> it's worth noting that on some systems (e.g. most m68k systems), you
> CANNOT do lazy FP save and restore...

Hm, on 060 systems it is possible to switch the FPU off/on. But if I ever
support that, It would be the bottom priority project.

Regards,
	Ignatios Souvatzis