co-maintainers welcome lssndrbarbieri@gmail.com Alessandro Barbieri The Unix implementation of the MirageOS Clock interface uses `gettimeofday` or `clock_gettime`, depending on which OS is in use (see [clock_stubs.c](https://github.com/mirage/mirage-clock/blob/master/unix/clock_stubs.c)). https://mirage.github.io/mirage-clock/ https://github.com/mirage/mirage-clock/issues mirage/mirage-clock Anil Madhavapeddy anil@recoil.org