GDB interface utility for MIPS processors, including PIC32 - View it on GitHub