Todd Vierling writes:
> On 9 Aug 1998, Perry E. Metzger wrote:
> 
> : If anyone out there who is sufficiently motivated would like to either 
> : improve our FPU emulation, find FPU emulation that isn't encumbered
> : (the only good FPU emulation I've found is GPL'ed (Linux)
> 
> O*BSD has this one.  Sounds like a job for a segregated kernel tree...

I've been told this isn't currently considered acceptable, and I'd
rather not create waves over something fairly small.

.pm