On Mon, Oct 09, 2017 at 05:49:28PM +0000, Maya Rashish wrote: > Module Name: src > Committed By: maya > Date: Mon Oct 9 17:49:28 UTC 2017 > > Modified Files: > src/sys/arch/i386/i386: machdep.c > src/sys/arch/x86/include: cpu.h > src/sys/arch/x86/x86: fpu.c identcpu.c procfs_machdep.c x86_machdep.c > > Log Message: > GC i386_fpu_present. no FPU x86 is not supported.
I think you are confusing things. We do not support FPU emulation in the kernel, but booting on FPU-less machines should still work (with a softfloat userland). Martin