GDB

Da Andreabont's Wiki.

Configurazione

Microcontrollori

Il debug su microcontrollori sfrutta il protocollo JTAG, GDB deve essere confugurato per utilizzarlo attraverso openocd:

openocd -f <file_di_configurazione>

Openocd offre un socket per la comunicazione con gdb, per iniziare il debugging è necessario collegarlo. Normalmente la porta è 3333:

(gdb) target remote <ip>:<porta>

Ora è necessario dire a openocd di resettare la cpu e bloccarla in attesa di comandi:

(gdb) monitor reset halt

Potrebbe essere necessario flashare sul microcontrollore un binario appena ricompilato, è possibile farlo dentro gdb. E' buona cosa effettuare un reset prima e dopo il caricamento del nuovo firmware:

(gdb) monitor reset halt
(gdb) monitor flash write_image erase <binario> <indirizzo_memoria_flash>
(gdb) monitor reset halt