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...
wasn't there a proposal for a "gnu" subdir of "sys"?

If it's worth having (as a non-default option), we should consider
integrating it in some similar manner.

-- 
-- Todd Vierling (Personal tv@pobox.com; Bus. todd_vierling@xn.xerox.com)