Hello, I just glued the m68k FPU emulation to the Amiga port. Add "options FPU_EMULATE" to your config file, and build a kernel for your poor friends without FPU. Note that the m68k FPU emulation is known to be broken for the 68LC040, 68040V and 68LC060 CPUs. No, there isn't any binary snapshot yet. Regards, Ignatios Souvatzis