unsigned int dbg_send_bytes(const unsigned char *s, unsigned int len)
Print a stream of bytes.
int dbg_putchar(int c)
Print a character to debug output.
void uart_write(unsigned char *s, unsigned int len)
Writes to the UART driver.
UART header file for the gecko.