gdbuart.h
size_t gdbSendChar(char c)
size_t ATTR_GDBEXTERNFN gdbWriteConsole(const char *data, size_t length)
Write a block of data to the GDB console.
bool gdb_uart_init()
#define ATTR_GDBEXTERNFN
int gdbReceiveChar()
size_t gdbSendUserData()
Send some user data from the user_uart TX buffer to the GDB serial port, packetising it if necessary.
size_t gdbSendData(const void *data, size_t length)