#ifndef __BOARD_UART0_H
#define __BOARD_UART0_H 

extern int uart0_handler_pid;

void board_uart0_init();

#endif /* __BOARD_UART0_H */