ldube commented on issue #9327: URL: https://github.com/apache/nuttx/issues/9327#issuecomment-1567479451
@fdcavalcanti I don't see this problem on what I think is the same board you have. I used gcc version 9.2.1. This is what I did. 0) git log commit 1a927a6cf3fdadc57e6fd8923087ae1e68482164 (H 1) make distclean; ./tools/configure.sh -l tm4c1294-launchpad:nsh 2) make menuconfig and enable FPU ... and use grep to confirm tha FPU is enabled in config file. grep FPU .config # CONFIG_ARM_HAVE_DPFPU32 is not set # CONFIG_ARM_FPU_ABI_SOFT is not set CONFIG_ARCH_HAVE_FPU=y # CONFIG_ARCH_HAVE_DPFPU is not set CONFIG_ARCH_FPU=y 3) make CROSSDEV=arm-none-eabi- && lm4flash nuttx.bin 4) NuttShell (NSH) nsh> uname -a NuttX 0.0.0 1a927a6cf3-dirty May 29 2023 15:37:26 arm tm4c1294-launchpad nsh> Please check again. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
