Mirage_logs
MirageOS support for the Logs library.
This is the default log reporter used by MirageOS.
module Make (Clock : Mirage_clock.PCLOCK) : sig ... end