mirage-clock
Mirage_clock
Clock devices for MirageOS
This module define clock devices signatures for MirageOS.
Release v4.2.0
module type PCLOCK = sig ... end
module type MCLOCK = sig ... end