Timing functions such as gettimeofday are mapped to the (currently undocumented) oskit_clock COM interface. In essence, this interface is a very natural adaptation of the POSIX.1 real-time extensions. The system time is initialized with the set_system_clock routine (see Section 13.3.3).