5 #include "ringbuffer.h"
7 void setup_uart(unsigned int rate);
8 void uart_putc(char *c);
9 void uart_puts(char *s);
11 void uart_puti(int i);
12 int uart_putchar(char c, FILE *stream);
13 int uart_getchar(FILE *stream);
14 void uart_setup_stdout(void);
15 void uart_stream_update(ringbuffer_t *buffer);