int uart_putc(int ch);
int uart_getc(void);
int board_init(void);
int register_irq_handler(unsigned irq_num, void (*handler)());