void ConfigureRtt(void) { unsigned int previousTime; // Configure RTT for a 1 second tick interrupt RTT_SetPrescaler(AT91C_BASE_RTTC, 32768); previousTime = RTT_GetTime(AT91C_BASE_RTTC); while (previousTime == RTT_GetTime(AT91C_BASE_RTTC)); }