mirage-clock-solo5

Paravirtual implementation of the MirageOS Clock interface
Legend:
Library
Module
Module type
Parameter
Class
Class type

Libraries

This package provides the following libraries (via dune):

mirage-clock-solo5

Documentation:

  • Mclock Monotonic clock for MirageOS using paravirtual interfaces
  • Pclock POSIX clock for MirageOS using paravirtual interfaces

Dependencies: mirage-clock