#ifndef __UART1_H_
#define __UART1_H_

#include <stdio.h>

void init_uart1(void);
void uart1_stdio(char, FILE*);
int uart1_put(char, FILE*);
int uart1_get(FILE*);

#endif