Portable clock implementation for Unix and Xen
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
config
freestanding
lib_test
lwt
pkg
src
unix
.gitignore
.travis.yml
CHANGES.md
LICENSE.md
Makefile
README.md
appveyor.yml
mirage-clock-freestanding.opam
mirage-clock-lwt.opam
mirage-clock-unix.opam
mirage-clock.opam

README.md

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.