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)); // Enable RTT interrupt AIC_ConfigureIT(AT91C_ID_SYS, 0, ISR_Rtt); AIC_EnableIT(AT91C_ID_SYS); RTT_EnableIT(AT91C_BASE_RTTC, AT91C_RTTC_RTTINCIEN); }