GDB/MI service