#ifndef UART_H_
#define UART_H_

#include <stdint.h>
// #include <stdio.h>



#define UART_TX_BUFFER_SIZE 32
#define UART_RX_BUFFER_SIZE 32


void uartInit();
// int uartPutchar(char c, FILE *stream);
void uartWrite(uint8_t o);

uint8_t uartHasChar();
uint8_t uartGetChar();

int uartRead();

#endif /* UART_H_ */