/* Reads and returns a character from the DBGU.  */
unsigned char DBGU_GetChar()
/* Reads and returns a character from the DBGU.  */
unsigned char DBGU_GetChar()
{
    while ((AT91C_BASE_DBGU->DBGU_CSR & AT91C_US_RXRDY) == 0);
    return AT91C_BASE_DBGU->DBGU_RHR;
}