#define BAUD 115200 /* serial baudrate */
FILE uart_output;
FILE uart_input;
FILE uart_io;
void uart_init(void);
void uart_putchar(char c, FILE *stream);
char uart_getchar(FILE *stream);