#ifndef UART0_H__
#define UART0_H__

void uart0_init(void);
int uart0_puts(const char * s);

#endif // UART0_H__