avr-firmwares/drivers/uart_tx.h

void uart_putc(unsigned char c);