Given OS, amend it with the u-boot bootloader for BOARD, installed to BOOTLOADER-TARGET (a drive), compiled for TRIPLET.

If you want a serial console, make sure to specify one in your operating-system's kernel-arguments ("console=ttyS0" or similar).

Return a new keyboard layout with the given NAME and VARIANT.

NAME must be a string such as "fr"; VARIANT must be a string such as "bepo" or "nodeadkeys". See the 'xkeyboard-config' package for valid options.

Return a Linux console keymap file for LAYOUT, a <keyboard-layout> record. Layout information is taken from the XKEYBOARD-CONFIG package.

Evaluate EXP, a gexp, in a new process executing in separate namespaces as listed in NAMESPACES. Add MOUNTS, a list of <file-system>, and MAPPINGS, a list of <file-system-mapping>, to the set of directories visible in the process's mount namespace. Inside the namespaces, run code as GUEST-UID and GUEST-GID. Return the process' exit status as a monadic value.

This is useful to implement processes that, unlike derivations, are not entirely pure and need to access the outside world or to perform side effects.

Return a derivation of a script that runs OS as a Linux container. MAPPINGS is a list of <file-system> objects that specify the files/directories that will be shared with the host system.

Return an operating system based on OS for use in a Linux container environment. MAPPINGS is a list of <file-system-mapping> to realize in the containerized OS. EXTRA-FILE-SYSTEMS is a list of file systems to add to OS.

Return as a file-like object a raw initrd, with kernel modules taken from LINUX. FILE-SYSTEMS is a list of file-systems to be mounted by the initrd, possibly in addition to the root file system specified on the kernel command line via 'root'. LINUX-MODULES is a list of kernel modules to be loaded at boot time. MAPPED-DEVICES is a list of device mappings to realize before FILE-SYSTEMS are mounted. PRE-MOUNT is a G-expression to evaluate before realizing MAPPED-DEVICES. HELPER-PACKAGES is a list of packages to be copied in the initrd. It may include e2fsck/static or other packages needed by the initrd to check root partition.

When true, KEYBOARD-LAYOUT is a <keyboard-layout> record denoting the desired console keyboard layout. This is done before MAPPED-DEVICES are set up and before FILE-SYSTEMS are mounted such that, should the user need to enter a passphrase or use the REPL, this happens using the intended keyboard layout.

When QEMU-NETWORKING? is true, set up networking with the standard QEMU parameters.

When VOLATILE-ROOT? is true, the root file system is writable but any changes to it are lost.

ON-ERROR is passed to 'call-with-error-handling'; it determines what happens upon error.