#include <stdint.h>

#include "../include/uart.h"
#include "../include/xprintf.h"



int main()
{
    uart_init();

    while (1) {
        // echo
        xprintf("%c", uart_getc());
    }
}