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: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
