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 <[email protected]> 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
>
>
>
>
>
>