Implementing a GDB server
- Here from scratch (in C): https://ohwr.org/project/wrpc-sw/blob/176b78b890996b62d2a8fab1ea505d2b5e586e90/tools/wrpc.c#L1738
- In VHDL: https://github.com/BLangOS/VexRiscV_with_HW-GDB_Server
- In Python: ?
Tangentially related: PDBs on Linux