Return a variant of OS that stores its own provenance information, including CONFIG-FILE, if available. This is achieved by adding an instance of PROVENANCE-SERVICE-TYPE to its services.

Return the bootloader configuration file for OS. Use OLD-ENTRIES, a list of <menu-entry>, to populate the "old entries" menu.

Return the subset of mapped devices that can be installed in user-land--i.e., those not needed during boot.

Return all the kernel arguments, including the ones not specified directly by the user. VERSION should match that of the target <boot-parameters> record object that will contain the kernel parameters.

Return the list of essential services for OS. These are special services that implement part of what's declared in OS are responsible for low-level bookkeeping.

Return the root file system of OS.

Read boot parameters from SYSTEM's (system or generation) "parameters" file and returns the corresponding <boot-parameters> object or #f if the format is unrecognized. The object has its kernel-arguments extended in order to make it bootable.

Return the boot script for OS---i.e., the code started by the initrd once we're running in the final root.

Return the default label for OS, as it will appear in the bootloader menu entry.