#ifndef UART_H_
#define UART_H_

#include <stdint.h>


#define UART_TX_BUFFER_SIZE 20


void uartInit(void *handleArg);
void uartExec(void *handleArg);
int putchar(int character);

#endif // UART_H_