Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
This library implements portable support for an operating system timesource that is compatible with the MirageOS library interfaces found in: https://github.com/mirage/mirage
It implements an MCLOCK
module that represents a monotonic timesource since an arbitrary point, and PCLOCK
which counts time since the Unix epoch.
The following sources are used:
gettimeofday
or clock_gettime
, depending on which OS is in use (see clock_stubs.c).