#ifndef UART_UART_H
#define UART_UART_H

void uart_setup(void);
void uart_putchar(int c);
void uart_printf(const char *fmt, ...);
void uart_puts(const char *s);
void uart0_isr(void);

#endif /* UART_UART_H */