Function gdb_tx_byte

src/console/console.c:95–98

}

void gdb_tx_byte(unsigned char byte)
{
	__gdb_tx_byte(byte);
}

void gdb_tx_flush(void)
{