d495007943
For some reason # CONFIG_ARCH_FPU is not set also unsets ARCH_FPU for the .config file, meaning FPU support is not built. |
||
---|---|---|
.. | ||
bl602/bl602evb | ||
c906/smartl-c906 | ||
esp32c3/esp32c3-devkit | ||
fe310/hifive1-revb | ||
k210/maix-bit | ||
litex/arty_a7 | ||
mpfs | ||
qemu-rv/rv-virt | ||
rv32m1/rv32m1-vega |