43 + #define MICROPY_HW_UART_REPL_BAUD (115200) 44 + #endif 36 45 37 46 STATIC void uart_irq_handler(void *arg); 38 47 39 - void uart_init(void) { 48 + void uart_stdout_init(void) { 49 + uart_config_t uartcfg = { 50 + .baud_rate = MICROPY_HW_UART_REPL_...