#ifndef UART_PRINTF_H
#define UART_PRINTF_H

void InitUart();
int putchar(int ch);

#endif