#ifndef __UART0_H_
#define __UART0_H_

#include <stdio.h>

void init_uart0(void);
void uart0_stdio(char, FILE*);
int uart0_put(char, FILE*);
int uart0_get(FILE*);

#endif