2018-02-20 10:22:35 +01:00
|
|
|
# Bootloader configuration. The bootloader is installed to allow
|
|
|
|
|
# the system to start (and pick one of the installed operating
|
|
|
|
|
# systems to run).
|
2014-10-12 19:45:02 +02:00
|
|
|
---
|
2015-02-20 00:40:24 +01:00
|
|
|
# Define which bootloader you want to use for EFI installations
|
2018-02-20 10:22:35 +01:00
|
|
|
# Possible options are 'grub', 'sb-shim' and 'systemd-boot'.
|
2015-02-20 00:40:24 +01:00
|
|
|
efiBootLoader: "grub"
|
2015-02-20 00:34:56 +01:00
|
|
|
|
2015-06-11 00:32:34 +02:00
|
|
|
# systemd-boot configuration files settings, set kernel and initramfs file names
|
2014-11-16 04:26:51 +01:00
|
|
|
# and amount of time before default selection boots
|
2015-02-19 20:48:39 +01:00
|
|
|
kernel: "/vmlinuz-linux"
|
|
|
|
|
img: "/initramfs-linux.img"
|
|
|
|
|
fallback: "/initramfs-linux-fallback.img"
|
|
|
|
|
timeout: "10"
|
2015-06-11 00:32:34 +02:00
|
|
|
# Optionally set the menu entry name and kernel name to use in systemd-boot.
|
2015-02-20 09:59:02 +01:00
|
|
|
# If not specified here, these settings will be taken from branding.desc.
|
2015-02-19 17:59:52 +01:00
|
|
|
# bootloaderEntryName: "Generic GNU/Linux"
|
|
|
|
|
# kernelLine: ", with Stable-Kernel"
|
|
|
|
|
# fallbackKernelLine: ", with Stable-Kernel (fallback initramfs)"
|
2014-10-12 19:45:02 +02:00
|
|
|
|
2014-11-13 00:19:24 +01:00
|
|
|
# GRUB 2 binary names and boot directory
|
|
|
|
|
# Some distributions (e.g. Fedora) use grub2-* (resp. /boot/grub2/) names.
|
2018-05-28 17:47:47 +02:00
|
|
|
# These names are also used when using sb-shim, since that needs some
|
|
|
|
|
# GRUB functionality (notably grub-probe) to work.
|
|
|
|
|
#
|
2014-11-13 00:19:24 +01:00
|
|
|
grubInstall: "grub-install"
|
|
|
|
|
grubMkconfig: "grub-mkconfig"
|
|
|
|
|
grubCfg: "/boot/grub/grub.cfg"
|
2018-05-28 17:47:47 +02:00
|
|
|
grubProbe: "/usr/sbin/grub2-probe"
|
2018-01-08 16:14:28 +01:00
|
|
|
|
|
|
|
|
# Optionally set the bootloader ID to use for EFI. This is passed to
|
|
|
|
|
# grub-install --bootloader-id.
|
|
|
|
|
#
|
|
|
|
|
# If not set here, the value from bootloaderEntryName from branding.desc
|
|
|
|
|
# is used, with problematic characters (space and slash) replaced.
|
|
|
|
|
#
|
|
|
|
|
# The ID is also used as a directory name within the EFI environment,
|
|
|
|
|
# and the bootloader is copied from /boot/efi/EFI/<dirname>/ . When
|
2018-03-06 13:11:10 +01:00
|
|
|
# setting the option here, keep in mind that the name is sanitized
|
|
|
|
|
# (problematic characters, see above, are replaced).
|
2018-01-08 16:14:28 +01:00
|
|
|
#
|
2015-02-20 00:28:44 +01:00
|
|
|
# efiBootloaderId: "dirname"
|
2018-01-29 22:55:07 +01:00
|
|
|
|
|
|
|
|
# Optionally install a copy of the GRUB EFI bootloader as the EFI
|
|
|
|
|
# fallback loader (either bootia32.efi or bootx64.efi depending on
|
|
|
|
|
# the system). This may be needed on certain systems (Intel DH87MC
|
|
|
|
|
# seems to be the only one). If you set this to false, take care
|
|
|
|
|
# to add another module to optionally install the fallback on those
|
|
|
|
|
# boards that need it.
|
|
|
|
|
installEFIFallback: true
|
