package mirage-ptime
Libraries and module types for portable clocks
Install
Dune Dependency
Authors
Maintainers
Sources
mirage-ptime-5.0.0.tbz
sha256=d553560468d5b94db25b05738c2499f290ee66b14ac22b4302e667f1fa443471
sha512=b7de3bf598e3ec36b3646633a0244589b75ab12e4ddcf5f964e98e639933ba815ea813a6a3eb6bfc849af7a346f2be3dbd3b0047d825f9dfe0a4c6ffed8e8fce
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 a POSIX clock which counts time since the Unix epoch.
README
mirage-ptime -- a POSIX clock for MirageOS
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 Mirage_ptime which is a clock that counts time since the Unix epoch.
The following sources are used:
The Unix version uses Ptime_clock,
The freestanding version uses the paravirtual clock source from the hypervisor.
Dev Dependencies
None
Used by (3)
-
ca-certs-nss
>= "3.108-1" -
mirage-logs
>= "3.0.0" -
tls-mirage
>= "2.0.0"
Conflicts
None
On This Page