/* Initializes the RTC used to display the help message.  */
static void ui_display_init_rtc(void)
/* Initializes the RTC used to display the help message.  */
static void ui_display_init_rtc(void)
{
	irq_register_handler(display_rtc_irq, DISPLAY_RTC_IRQ,
			DISPLAY_RTC_IRQ_PRIORITY);
	rtc_init(&AVR32_RTC, RTC_OSC_RC, RTC_PSEL_RC_1_76HZ - 1);
	rtc_enable_wake_up(&AVR32_RTC);
	rtc_set_top_value(&AVR32_RTC, 0);
	rtc_enable_interrupt(&AVR32_RTC);
	rtc_enable(&AVR32_RTC);
}