> To fix this Rust would have to provide a way to build the core > library without float support. I don't know if there is a plan > already to allow this. Floating point is banned within the kernel, except for in very narrow conditions, because the floating point registers are lazy saved on context switch. If the kernel uses the floating point registers, you can break user space in bad ways. I expect this has been discussed, since it is well known kernel restriction. Maybe go see what happened to that discussion within RfL? Andrew
