Mirage_runtimeSourceMirage runtime utilities.
Release v4.9.0
The type for log threshold. A log level of None disables logging.
set_level ~default l set the log levels needed to have all of the log sources appearing in l be used.
logs is a command-liner term for setting the log_threshold.
Manpage sections
s_net is used for network options.
s_disk is used for disk options.
s_log is used for logging and monitoring options.
s_he is used for happy eyeballs options.
s_dns is used for DNS options.
s_ssh is used for SSH options.
s_tls is used for TLS options.
s_http is used for HTTP options.
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.
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.
argument_error is the exit code used for argument parsing errors: 64.
help_version is the exit code used when help/version is used: 63.
register_arg term registers term to be evaluated at boot time. An example is: let hello = register_arg <myterm> (at the toplevel of the unikernel), and in the unikernel code Logs.info (fun m -> m "hello argument is: %s" (hello ())).
/