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

Reply via email to