On Mon, 7 Aug 2017, Ralf Baechle wrote: > Or we simply make the kernel panic when it detects an FPU but has no > FPU support? Why would we want to make the kernel panic in the presence of an optional unused hardware component? Paul's proposal looks reasonable to me. If people want to throw away FPU support to save on memory, then let them do that. Just make that depend on EMBEDDED or suchlike, so that it's not a decision taken lightly. Maciej