> The i386 way seems reasonable, IMHO. Have a configure option to enable > an FPU emulator. Panic upon boot if no FP hardware is available and no > emulator is compiled in. Its an interesting question whether it belongs in the kernel or libc. Discuss ;) Also we missed a trick on the x86 and I want to fix that one day, which is to have an __fpu ELF segment so if you boot an FPU emu kernel on an fpu box you regain 47K
