package mirage-clock-unix

  1. Overview
  2. Docs
Unix-based implementation for the MirageOS Clock interface

Install

Dune Dependency

Authors

Maintainers

Sources

mirage-clock-v3.1.0.tbz
sha256=b602556cda4f9819cd01c54791d6fe01cd9d9721d4051d7703bcaa89d5010a33
sha512=a1dbac3ae5671e02d77ebe5b9d8c53d787c0fcce59ec74a5d5ebd5ed28919d838ef6ab1c00ee18e0c261f7bafcb86de34548f1271129838b77654ee1a82ca4ff

Description

The Unix implementation of the MirageOS Clock interface uses gettimeofday or clock_gettime, depending on which OS is in use (see clock_stubs.c).

Tags

org:mirage

Published: 21 Nov 2020

README

mirage-clock -- libraries and module types for portable clocks

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.

Dependencies (4)

  1. mirage-clock = version
  2. dune-configurator
  3. dune
  4. ocaml >= "4.06.0"

Dev Dependencies

None

Used by (27)

  1. arp >= "2.3.1"
  2. arp-mirage
  3. caldav
  4. camels
  5. conan
  6. conan-cli
  7. dns-forward-lwt-unix
  8. docteur < "0.0.2"
  9. docteur-unix < "0.0.3"
  10. domainslib >= "0.3.2" & < "0.5.1"
  11. git-kv
  12. git-mirage >= "2.1.2" & < "3.0.0"
  13. git-unix >= "3.0.0" & < "3.3.0"
  14. http-mirage-client < "0.0.4"
  15. mirage-crypto-rng = "0.7.0"
  16. mirage-crypto-rng-mirage
  17. mirage-fs-unix >= "1.2.1" & < "1.4.1" | >= "1.7.0"
  18. mirage-kv-mem
  19. mirage-kv-unix >= "2.1.0"
  20. mirage-nat
  21. mirage-unix >= "0.9.9" & < "2.0.0" | >= "3.0.0" & < "3.0.8"
  22. mirage-vnetif-stack
  23. shared-block-ring >= "2.4.0"
  24. tar-mirage >= "2.2.0" & < "2.4.0"
  25. tcpip >= "3.6.0" & < "4.0.0" | >= "5.0.1"
  26. vpnkit >= "0.1.1"
  27. xentropyd

Conflicts

None