int uart_init(char *sname, int baud);
void uart_read(char *buf, int len);
void uart_write(char *buf, int len);