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
|
2015-02-20 00:37:21 +01:00
|
|
|
# Possible options are 'grub' and 'gummiboot'.
|
2015-02-20 00:40:24 +01:00
|
|
|
efiBootLoader: "grub"
|
2015-02-20 00:34:56 +01:00
|
|
|
|
2014-11-16 04:26:51 +01:00
|
|
|
# Gummiboot configuration files settings, set kernel and initramfs file names
|
|
|
|
|
# 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-02-19 17:39:11 +01:00
|
|
|
# Optionally set the menu entry name and kenrnel namesto use in Gummiboot.
|
|
|
|
|
# If not specified here, this setting will be taken from branding.desc.
|
|
|
|
|
# productName: "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.
|
|
|
|
|
grubInstall: "grub-install"
|
|
|
|
|
grubMkconfig: "grub-mkconfig"
|
|
|
|
|
grubCfg: "/boot/grub/grub.cfg"
|
2015-02-20 00:28:44 +01:00
|
|
|
# Optionally set the --bootloader-id to use for EFI. If not set, this defaults
|
|
|
|
|
# to the bootloaderEntryName from branding.desc with problematic characters
|
|
|
|
|
# replaced. If an efiBootloaderId is specified here, it is taken to already be a
|
|
|
|
|
# valid directory name, so no such postprocessing is done in this case.
|
|
|
|
|
# efiBootloaderId: "dirname"
|
