void uart_puts(const char* str) { char ch; while ((ch = *str++)) { uart_pputc(ch); } }
void platform_pputc(char c) { if (c == '\n') uart_pputc(DEBUG_UART, '\r'); uart_pputc(DEBUG_UART, c); }