Description

This library contains functions for reading parameters passed as boot parameter to a unikernel in Xen. The parameters can be passed as key/value pairs in the extra= field in an .xl-file or on the command line when starting a unikernel with the xl utility.

Boot parameters are read from the VM's cmdline key in Xenstore. If this key does not exist the parameters will be read from OS.Start_info.cmd_line.