We have a more detailed documentation here: https://nuttx.apache.org/docs/latest/quickstart/debugging.html#debugging-with-openocd-and-gdb
Any issue, please let us to know. BR, Alan On 6/10/23, Alan C. Assis <acas...@gmail.com> wrote: > Hi Mark, > > Could you please try these magical steps: > > $ make distclean > > $ ./tools/configure.sh stm32f777zit6-meadow:nsh > > $ make menuconfig > > Build Setup ---> > Debug Options ---> > [*] Generate Debug Symbols > > $ make -j > > Flash nuttx.bin > > Connect to the board using OpenOCD + STLink-V2: > > $ sudo openocd -f interface/stlink-v2.cfg -f target/stm32f7x.cfg > > In another terminal: > > $ gdb nuttx > (gdb) target remote localhost:3333 > (gdb) monitor reset > (gdb) load nuttx > (gdb) b nx_start > (gdb) c > > BR, > > Alan > > On 6/10/23, Mark Stevens <m...@thepcsite.co.uk> wrote: >> So I’m admitting defeat on this problem and I need some help please. >> >> I’m trying to work out the magic incantations I need to weave to create a >> NuttX ELF file that I can use with GDB. To be clear this is the OS ELF >> file >> that I can use on the host computer. >> >> I am currently targeting the Pico boards but I have also had this problem >> with the STM32F767 Discovery board as well. I have opened connect to the >> boards in both cases and I am now trying to debug the OS on the board. >> >> Can anyone point me in the right direction - I’m sure it is going to be >> simple, I just need pointing in the right direction. >> >> Thanks in advance, >> Mark >> _____________________________ >> Blog: blog.thepcsite.co.uk >> Twitter: @nevynuk >> >> >> >> >> >> >
