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