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 or clock_gettime, depending on
    which OS is in use (see clock_stubs.c).

  • The freestanding version uses the paravirtual clock source from the hypervisor.

Install
Published
19 Jun 2017
Maintainers
Sources
mirage-clock-1.3.0.tbz
md5=eccfb4b7361bcc639744fd18d17cb582
Dependencies
mirage-device
>= "1.0.0" & < "2.0.0"
jbuilder
>= "1.0+beta9"
Reverse Dependencies
capnp-rpc-lwt
>= "0.2" & < "0.5.0"
capnp-rpc-net
< "0.6.0"
charrua-client-mirage
>= "0.10" & < "1.2.0"
irmin-mirage
< "2.0.0"
mirage-clock-unix
>= "1.3.0" & < "3.0.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"
tcpip
>= "3.0.0" & < "4.0.0"