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