packagemirage-clock-freestanding
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=70fff8aa7300536b463b44d24a49ee99f7305d0b314e92b7603ea5ba74e493d7md5=b4ec7b24345f270e04d94a2f1ed405b7Description
This library implements portable support for an operating system timesourcethat is compatible with theMirageOS library interfacesfound in:https://github.com/mirage/mirage
It implements anMCLOCK module that represents a monotonic timesourcesince an arbitrary point, andPCLOCK which counts time since the Unixepoch.
The following sources are used:
- The Unix version uses
gettimeofdayorclock_gettime, depending onwhich OS is in use (seeclock_stubs.c). - The freestanding version uses the paravirtual clock source from the hypervisor.
README
README.md
This library implements portable support for an operating system timesource that is compatible with theMirageOS library interfaces found in:https://github.com/mirage/mirage
It implements anMCLOCK module that represents a monotonic timesource since an arbitrary point, andPCLOCK which counts time since the Unix epoch.
The following sources are used:
The Unix version uses
gettimeofdayorclock_gettime, depending on which OS is in use (seeclock_stubs.c).The freestanding version uses the paravirtual clock source from the hypervisor.
Dependencies (7)
- lwt
- mirage-clock-lwt
>= "1.2.0" - mirage-clock
>= "1.2.0" & < "3.0.0" - topkg
build & >= "0.8.0" - ocamlbuild
build - ocamlfind
build - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None