Return the number suitable for the 'flags' argument of 'mount' that corresponds to the symbols listed in FLAGS.

Return DEVICE-SPEC as a Linux /dev/XdYZ device name, also catering for uuid or label.

Return the device name corresponding to SPEC, which can be a <uuid>, a <file-system-label>, the string 'none' or another string (typically a /dev file name or an nfs-root containing ':/').

Check an unmounted TYPE file system on DEVICE. Do nothing but warn if it is mounted. If FORCE? is true, check even when considered unnecessary. If REPAIR is false, try not to write to DEVICE at all. If it's #t, try to fix all errors found. Otherwise, fix only those considered safe to repair automatically. Not all TYPEs support all values or combinations of FORCE? and REPAIR. Don't throw an exception in such cases but perform the nearest sane action.

Return DEVICE-SPEC as UUID, FILE-SYSTEM-LABEL, or DEVICE-SPEC.

Return DEVICE-NAME as a Hurd device name: part:PART-NUMBER:device:DISKdDISK-INDEX Default to part:1:device:DISKd0 if partition cannot be found.

Bind-mount SOURCE at TARGET.

Return the list of device names corresponding to valid disk partitions.

Return true if DEVICE is an ext2 file system and if it was cleanly unmounted.

Return the number suitable for the 'flags' argument of 'mount' that corresponds to the swap-space SWAP.

Run PROGRAM with ARGS, creating a tty if its standard input isn't one. The return value is as for 'system*'.

This is necessary for commands such as 'cryptsetup open' or 'fsck' that may need to interact with the user but might be invoked from shepherd, where standard input is /dev/null.

This procedure is meant to be called from an early RC script.

Install the relevant passive translators on the first boot. Then, run system activation by using the kernel command-line options 'gnu.system' and 'gnu.load'; starting the Shepherd.

XXX TODO: see linux-boot.scm:boot-system. XXX TODO: add proper file-system checking, mounting XXX TODO: move bits to (new?) (hurd?) (activation?) services XXX TODO: use Linux xattr/setxattr to remove (settrans in) /libexec/RUNSYSTEM

Make some of the nodes needed on GNU/Hurd.

Create an Icecat extension from package PKG and return a package that, when installed, will make the extension contained in PKG available as an Icecat browser extension. PKG-OUTPUT specifies which output of PKG to use.

Convert IMAGE to OUTPUT according to the given FORMAT.

Install in ROOT directory, an EFI 32bit loader using GRUB-EFI32.

Install in ROOT directory, an EFI loader using GRUB-EFI.

Given a GRUB package, creates an iso image as TARGET, using BOOTCFG as GRUB configuration and OS-DRV as the stuff in it.