/* Set RTC prescaler: set RTC period to 1sec */
  RTC_SetPrescaler(32768);

  /* Wait until last write operation on RTC registers has finished */
  RTC_WaitForLastTask();
}


void RTC_IRQHandler(void)
{
  if (RTC_GetITStatus(RTC_IT_SEC) != RESET)
  {
    /* Clear the RTC Second interrupt */