/* Get one character from STDIO - used by the libc.  */
int getchar(void)
/* Get one character from STDIO - used by the libc.  */
int getchar(void)
{
    char c;
    uart_stdio_read(&c, 1);
    return c;
}