On Tue, Oct 10, 2017 at 11:03:42AM +0000, co...@sdf.org wrote: > 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.
We have not provided a usable userland for it, but we were able to boot on them. The cost for this is minimal (given the overall mess of FPU save area sizes on x86), no point in cleaning this up. Martin