ZeroVM gdb port (part of the gcc toolchain)