GDB Debugging

💡 Make sure to forward ports 3333-3342 when running the docker run command as these are used for GDB sessions. See ‣ for the port forward command.

You can launch GDB debug sessions for any arbitrary test case by selecting Start GDB Session from the dropdown menu shown below:

GDB Debugging image 1

You will then be presented with an endpoint to connect to via GDB:

GDB Debugging image 2

Upon connecting to GDB, you will very likely want to load your binary via:

file myfirmware.elf

Custom commands

Col 1	Col 2
Command	Description
`monitor reset`	Resets VM. This is the equivalent of resetting a device over JTAG on real hardware.
`monitor icount`	Displays number of instructions executed thus far.