cmd_gdb
add_debugger_command_etc("gdb", &cmd_gdb, "Connect to remote gdb",
int cmd_gdb(int argc, char** argv);