package mirage-ptime

  1. Overview
  2. Docs
Libraries and module types for portable clocks

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (2)

Authors

  1. A
    Anil Madhavapeddy
  2. D
    Daniel C. Bünzli
  3. M
    Matthew Gray
  4. H
    Hannes Mehnert

Maintainers

  1. H
    hannes@mehnert.org

Sources

mirage-ptime-5.1.0.tbz
sha256=e9b3db31365e1a895130c3789e6adcf996771ea8e7016b63e15ecbe1f38a29f6
sha512=276a61bfcf7a025a3a6269b52f85ed158f9600385e1c2c2cf21d74985924bb013e703b804e7b15b7249708ef0cdee3c7c0da3cdf20b858a2b1d0da65829ed113

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.

Tags

org:mirage

Published: 01 Sep 2025

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.

Dependencies (3)

  1. ptime >= "1.1.0"
  2. dune >= "2.8"
  3. ocaml >= "4.08.0"

Dev Dependencies

None

Used by (17)

  1. ca-certs-nss >= "3.108-1"
  2. caldav >= "0.2.4"
  3. conduit-mirage >= "8.0.0"
  4. dkim-mirage >= "0.8.0"
  5. dns-certify >= "10.1.0"
  6. dns-client-mirage >= "10.1.0"
  7. dns-resolver >= "10.1.0"
  8. dns-server >= "10.1.0"
  9. dns-stub >= "10.1.0"
  10. git-kv >= "0.1.3"
  11. git-mirage >= "3.18.0"
  12. irmin-cli >= "3.11.0"
  13. memtrace-mirage
  14. mirage-kv-mem >= "4.0.0"
  15. mirage-logs
  16. tar-mirage
  17. tls-mirage >= "2.0.1"

Conflicts

None