/* Interrupt handler for the RTT. 
Display the current time on the terminal.  */
void RTT_Handler(void)
/* Interrupt handler for the RTT. 
Display the current time on the terminal.  */
void RTT_Handler(void)
{
	uint32_t ul_status;
	ul_status = rtt_get_status(RTT);
	if ((ul_status & RTT_SR_RTTINC) == RTT_SR_RTTINC) {
		refresh_display();
	}
	if ((ul_status & RTT_SR_ALMS) == RTT_SR_ALMS) {
		g_uc_alarmed = 1;
		refresh_display();
	}
}