GDB con OpenOCD en Debian

Esta entrada no es más que un ayuda memoria sobre uso inicial de GBD y OpenOCD por medio de terminal en Debian.

1 - Verificar o instalar gdb-multiarch

    # apt install gdb-multiarch

2 - Conectar OpenOCD a la placa bajo depuración. En este ejemplo el target es una raspberry pi pico w, por medio de otra raspberrypi-pico con firmware debugprobe 

    $ openocd -f interface/cmsis-dap.cfg -f target/rp2040.cfg -c "adapter speed 5000"   

3 - En otro terminal lanzamos GDB, en este ejemplo depuraremos NUTTX; naturalmente, dentro de la carpeta que se encuentra el binario:

    $ gdb-multiarch nuttx 

El prompt debería devolver y esperar comandos:

    (gdb)

4 - Nos conectamos al target:

   (gdb) target extended-remote :3333 

5 - Finalmente, a modo de ejemplo, cargamos el firmware:

    (gdb) load nuttx

    o simplemente

    (gdb) load

    y aplicamos reset al target:

    (gdb) mon reset 

T.R.