
             RTC-based system clock with set_rtc support
