mirage-time
Mirage_time
This module define time-related devices for MirageOS and sleep operations.
Release v1.3.0
module type S = sig ... end
Sleep operations.