2023-11-08 20:16:05 -01:00
|
|
|
# Bootloader configuration. The bootloader is installed to allow
|
2022-11-08 16:42:01 -01:00
|
|
|
# the system to start (and pick one of the installed operating
|
|
|
|
|
# systems to run).
|
|
|
|
|
---
|
|
|
|
|
# Define which bootloader you want to use for EFI installations
|
|
|
|
|
# Possible options are 'grub', 'sb-shim' and 'systemd-boot'.
|
|
|
|
|
efiBootLoader: "grub"
|
|
|
|
|
|
|
|
|
|
# systemd-boot configuration files settings, set kernel and initramfs file names
|
|
|
|
|
# and amount of time before default selection boots
|
|
|
|
|
kernel: "/vmlinuz-linux"
|
|
|
|
|
img: "/initramfs-linux.img"
|
|
|
|
|
fallback: "/initramfs-linux-fallback.img"
|
|
|
|
|
timeout: "10"
|
|
|
|
|
|
|
|
|
|
# Optionally set the menu entry name and kernel name to use in systemd-boot.
|
|
|
|
|
# If not specified here, these settings will be taken from branding.desc.
|
|
|
|
|
#
|
|
|
|
|
# bootloaderEntryName: "Generic GNU/Linux"
|
|
|
|
|
# kernelLine: ", with Stable-Kernel"
|
|
|
|
|
# fallbackKernelLine: ", with Stable-Kernel (fallback initramfs)"
|
|
|
|
|
|
|
|
|
|
# GRUB 2 binary names and boot directory
|
|
|
|
|
# Some distributions (e.g. Fedora) use grub2-* (resp. /boot/grub2/) names.
|
|
|
|
|
# These names are also used when using sb-shim, since that needs some
|
|
|
|
|
# GRUB functionality (notably grub-probe) to work. As needed, you may use
|
|
|
|
|
# complete paths like `/usr/bin/efibootmgr` for the executables.
|
|
|
|
|
#
|
|
|
|
|
grubInstall: "grub-install"
|
|
|
|
|
grubMkconfig: "grub-mkconfig"
|
|
|
|
|
grubCfg: "/boot/grub/grub.cfg"
|
|
|
|
|
grubProbe: "grub-probe"
|
|
|
|
|
efiBootMgr: "efibootmgr"
|
|
|
|
|
|
|
|
|
|
# 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
|
|
|
|
|
# setting the option here, keep in mind that the name is sanitized
|
|
|
|
|
# (problematic characters, see above, are replaced).
|
|
|
|
|
#
|
2023-11-08 20:16:05 -01:00
|
|
|
efiBootloaderId: "debian"
|
2022-11-08 16:42:01 -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.
|
2023-10-31 12:20:41 -01:00
|
|
|
installEFIFallback: true
|
