fdcavalcanti commented on issue #9327:
URL: https://github.com/apache/nuttx/issues/9327#issuecomment-1567574504
Hi @ldube I just checked again. Even got a different board (same model) to
test it.
```
filipe@fdcavalcanti:~/nuttxspace/nuttx $ git checkout 1a927a6
Previous HEAD position was bcd776b2a7 Fix build issues for ESP32 SoftAP mode
HEAD is now at 1a927a6cf3 mm: add invalid pid dump when malloc failed
filipe@fdcavalcanti:~/nuttxspace/nuttx $ make distclean
NuttX has not been configured!
To configure the project:
tools/configure.sh <config>
For a list of available configurations:
tools/configure.sh -L
filipe@fdcavalcanti:~/nuttxspace/nuttx $ ./tools/configure.sh
tm4c1294-launchpad:nsh
filipe@fdcavalcanti:~/nuttxspace/nuttx $ make -j
--- Enabled FPU
filipe@fdcavalcanti:~/nuttxspace/nuttx $ ~/lm4tools/lm4flash/lm4flash
nuttx.bin
Found ICDI device with serial: 0F007816
ICDI version: 12245
filipe@fdcavalcanti:~/nuttxspace/nuttx $
```
Here's grep on .config:
```
filipe@fdcavalcanti:~/nuttxspace/nuttx $ 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
```
Still, same result on both boards: only power LED stays on, no serial output.
--
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
