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
|
2014-11-19 17:01:02 +01:00
|
|
|
# Optionally set the menu entry name to use in Gummiboot. If not specified here,
|
|
|
|
|
# this setting will be taken from branding.desc.
|
2015-02-19 20:48:39 +01:00
|
|
|
# bootloaderEntryName: "KaOS-kf5"
|
|
|
|
|
kernel: "/vmlinuz-linux"
|
|
|
|
|
img: "/initramfs-linux.img"
|
|
|
|
|
fallback: "/initramfs-linux-fallback.img"
|
2015-02-19 21:01:38 +01:00
|
|
|
kernelLine: "Linux core repo kernel"
|
2015-02-19 20:48:39 +01:00
|
|
|
fallbackKernelLine: "Linux fallback kernel"
|
|
|
|
|
timeout: "10"
|
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"
|
