fdcavalcanti opened a new issue, #9327: URL: https://github.com/apache/nuttx/issues/9327
This board works fine with all default configurations. I'm using it regularly without issues. However, by simply enabling FPU Support (ARCH_FPU) causes the board to not event turn the LEDs on. I also tried enabling all kinds of debug statements, and nothing shows on serial port. Compilation and flashing all complete without errors. I would appreciate any indications on where I could look for issues. So far I tried tracking CONFIG_ARCH_FPU but no success. Board: Tiva-C TM4C1294-XL Thanks! -- 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.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org