unsigned char DBGU_GetChar(void) { while ((AT91C_BASE_DBGU->DBGU_CSR & AT91C_US_RXRDY) == 0); return AT91C_BASE_DBGU->DBGU_RHR; }