mirage-time

Time operations for MirageOS
back to documentation root
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library mirage-time
Module Mirage_time

This module define time-related devices for MirageOS and sleep operations.

Release v3.0.0

module type S = sig ... end

Sleep operations.