#ifndef UART_H #define UART_H void uart_init(void); void uart_write(const char *msg); void uart_putchar(char c); char uart_getchar(void); #endif