On Tue, Oct 10, 2017 at 05:02:48AM +0000, Martin Husemann wrote: > 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).
I don't think we should support every esoteric case just in case someone wants to complete support it. We haven't run on such machines in over a decade.
