/* Write one character to the STDIO UART interface - used by e.g. printf and puts.  */
int putchar(int c)
/* Write one character to the STDIO UART interface - used by e.g. printf and puts.  */
int putchar(int c)
{
    char _c = c;
    uart_stdio_write(&_c, 1);
    return 1;
}