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 (3)

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.2.0.tbz
sha256=60e5a926b7d0286f64842c0f6f99595ed7fe7e2a783740750009f663dcd12f28
sha512=c8f6ba732bf103fa6509708f58e4f7fe3b317d3c35d62662df2454a04cc3278f036eee125a4a6d12f4cd24d3c6aaf49bb46f3fc5a76bff5c6282c915de0a631f

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: 22 Oct 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 (18)

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

Conflicts

None