chirping78 commented on issue #8616:
URL: https://github.com/apache/nuttx/issues/8616#issuecomment-1439583447

   This issue can also be reproduced on real hardware. Here are steps on 
stm32f4discovery.
   
   1. build nuttx
   ```
   ./tools/configure.sh -E stm32f4discovery:nsh
   make
   kconfig-tweak --enable CONFIG_DEBUG_SYMBOLS
   make oldconfig
   make
   ```
   
   2. connect USB cable and start openocd
   ```
   openocd -f interface/stlink-v2.cfg -f target/stm32f4x.cfg 
   ```
   
   3. gdb attach
   ```
   gdb-multiarch -ix tools/nuttx-gdbinit nuttx
   (gdb) target extended-remote localhost:3333
   (gdb) load
   (gdb) c
   
   ^C
   Program received signal SIGINT, Interrupt.
   up_idle () at chip/stm32_idle.c:191
   191       END_IDLE();
   (gdb) info_nxthreads
   saved current_tcb (pid=0)
   * 0 Thread 0x20000230  (Name: Idle Task, State: Running, Priority: 0, Stack: 
0/1000) PC: 0x8004e6e in up_idle()
   saved current_tcb (pid=0)
   saved current_tcb (pid=0)
     2 Thread 0x10000db0  (Name: nsh_main, State: Waiting,Semaphore, Priority: 
100, Stack: 0/2000) PC: 0x1 in No()
   saved current_tcb (pid=0)
   saved current_tcb (pid=0)
   (gdb)
   
   ```


-- 
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

Reply via email to