JSON Debug Server for GDB