ntp and adjtime?

Some hardware platforms have no real time clock (RTC), or an inaccurate one. I have an SNTP client working in Genode that could substitute for or supplement an RTC, but am not sure about the most sensible way to integrate that with Genode components using libc. My intent is that gettimeofday() would return the periodically adjusted UTC in each component. Do I understand correctly that libc will currently only probe /dev/rtc upon the first call needing time of day? Maybe there is mechanism to signal the need to invoke adjtime?

Suggestions?

// Steve Harp