packagemirage-clock-solo5

You can search for identifiers within the package.

in-package search v0.2.0

Paravirtual implementation of the MirageOS Clock interface

Install

Dune Dependency

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

Authors

Maintainers

A
anil@recoil.org

Sources

mirage-clock-4.2.0.tbz

sha256=fa17d15d5be23c79ba741f5f7cb88ed7112de16a4410cea81c71b98086889847

sha512=05a359dc8400d4ca200ff255dbd030acd33d2c4acb5020838f772c02cdb5f243f3dbafbc43a8cd51e6b5923a140f84c9e7ea25b2c0fa277bb68b996190d36e3b

Description

This 'freestanding' implementation of the MirageOS CLOCK interfaceis designed to be linked against an embedded runtime that providesa concrete implementation of the clock source. Example implementationsinclude theSolo5 backend ofMirageOS.

Published:27 Mar 2022

README

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

This library implements portable support for an operating system timesource that is compatible with theMirageOS library interfaces found in:https://github.com/mirage/mirage

It implements anMCLOCK module that represents a monotonic timesource since an arbitrary point, andPCLOCK which counts time since the Unix epoch.

The following sources are used:

The Unix version usesgettimeofday orclock_gettime, depending on which OS is in use (seeclock_stubs.c).
The freestanding version uses the paravirtual clock source from the hypervisor.

Dependencies (3)

mirage-clock= version
dune>= "2.8"
ocaml>= "4.08.0"

Dev Dependencies

None

Used by