#include #include "drivers/uart_tx.h" #include "drivers/uart_rx_async.h" void uart_process(uint8_t c) { uart_putc(c); } int main(void) { for(;;) {} }