mirage-clock
Libraries and module types for portable clocks
Description
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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 19 Jun 2017
- Authors
- 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"
git-kv
< "0.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
>= "1.3.0" & < "3.0.0"
mirage-flow-lwt
>= "1.3.0"
mirage-logs
>= "0.3.0" & < "1.2.0"
mirage-qubes-ipv4
>= "0.6" & < "0.8.0"
mirage-types
>= "3.0.0" & < "3.4.0"
paf-le
>= "0.4.0"
tcpip
>= "3.0.0" & < "4.0.0"