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:
You will then be presented with an endpoint to connect to via GDB:
Upon connecting to GDB, you will very likely want to load your binary via:
pythonfile myfirmware.elf
Custom commands
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. |