---
# Define which bootloader you want to use for EFI installations
# Possible options are 'grub' 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-libre"
img:      "/initramfs-linux-libre.img"
fallback: "/initramfs-linux-libre-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: "Parabola GNU/Linux-Libre"
# kernelLine: ", with Stable-Kernel"
fallbackKernelLine:  " (recovery mode)"

# 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"
# 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"
