micropython/ports/qemu-arm/uart.h

void uart_init(void);
void uart_tx_strn(const char *buf, size_t len);