mirror of
https://github.com/apache/nuttx.git
synced 2026-06-06 16:50:55 +08:00
d495007943
For some reason # CONFIG_ARCH_FPU is not set also unsets ARCH_FPU for the .config file, meaning FPU support is not built.