mirage-clock
Libraries and module types for portable clocks
README
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:
The Unix version uses
gettimeofday
orclock_gettime
, depending on
which OS is in use (see clock_stubs.c).The freestanding version uses the paravirtual clock source from the hypervisor.
Install
- Maintainers
-
Sources
Dependencies
Reverse Dependencies
capnp-rpc-lwt
>= "0.2" & < "0.5.0"
capnp-rpc-net
< "0.6.0"
charrua-client-mirage
>= "0.10" & < "1.2.0"
conduit-mirage
< "2.0.2"
irmin-mirage
< "2.0.0"
irmin-mirage-git
>= "2.3.0"
mirage-clock-freestanding
< "3.0.0"
mirage-clock-lwt
>= "1.3.0"
mirage-clock-unix
= "2.0.0"
mirage-flow-lwt
>= "1.3.0"
mirage-kv-mem
< "3.0.0"
mirage-logs
>= "0.3.0" & < "1.2.0"
mirage-qubes-ipv4
>= "0.6" & < "0.8.0"
mirage-types
>= "3.4.0" & < "3.7.1"
tcpip
>= "3.0.0" & < "4.0.0"