mirage-time -- Time operations for MirageOS

The mirage-time repository defines:

• Mirage_time.S the signature for time-related operations for MirageOS;
• Time an implementation of the previous signature for the Unix backend.

Installation

mirage-time can be installed with opam:

opam install mirage-time

mirage-time-unix can be installed with opam:

opam install mirage-time-unix

If you don't use opam consult the opam file for build instructions.