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
mirage-clock-1.3.0.tbz
md5=eccfb4b7361bcc639744fd18d17cb582
Dependencies
Reverse Dependencies
dns-forward
>= "0.9.0"
mirage-clock-freestanding
< "3.0.0"
mirage-clock-unix
>= "1.3.0" & < "3.0.0"
mirage-nat
< "2.0.0"
mirage-types-lwt
>= "3.0.0" & < "3.4.0"
mirage-vnetif
>= "0.3.1" & < "0.5.0"
tcpip
>= "3.0.0" & < "4.0.0"
Conflicts
None