Subject: Re: printf() using floating point ...
To: Chris G Demetriou <>
From: Ignatios Souvatzis <is@Beverly.Rhein.DE>
List: tech-kern
Date: 06/15/1995 00:00:15
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.

	Ignatios Souvatzis