bundletype GDBConsole_T =

{ include "${OSKITDIR}/oskit/gdb_serial.h" gdb_pc_com_init gdb_serial_exit gdb_serial_getchar gdb_serial_putchar gdb_serial_puts }

C types:

void gdb_serial_exit(int exit_code);
void gdb_serial_putchar(int ch);
void gdb_serial_puts(const char *s);
int gdb_serial_getchar();