Mirage_runtime
Mirage runtime utilities.
Release v4.10.1
The type for log threshold. A log level of None
disables logging.
val set_level : default:Logs.level option -> log_threshold list -> unit
set_level ~default l
set the log levels needed to have all of the log sources appearing in l
be used.
val logs : log_threshold list Cmdliner.Term.t
logs
is a command-liner term for setting the log_threshold.
module Conv : sig ... end
The initial delay, specified in seconds, before a unikernel starting up. Defaults to 0. Useful for tenders and environments that take some time to bring devices up.
The current name of the unikernel. This is expected to be the same during the lifetime of an unikernel (but there's no guarantee since it can be modified).
at_exit hook
registers hook
, which will be executed before the unikernel exits. The first hook registered will be executed last.
at_enter_iter hook
registers hook
to be executed at the beginning of each event loop iteration. The first hook registered will be executed last.
If hook
calls at_enter_iter
recursively, the new hook will run only on the next event loop iteration.
at_leave_iter hook
registers hook
to be executed at the end of each event loop iteration. See at_enter_iter
for details.
This is mainly for for developers implementing new targets.
run_exit_hooks ()
calls the sequence of hooks registered with at_exit
in sequence.
run_enter_iter_hooks ()
calls the sequence of hooks registered with at_enter_iter
in sequence.
run_leave_iter_hooks ()
call the sequence of hooks registered with at_leave_iter
in sequence.