--- # Define which bootloader you want to use for EFI installation efiBootLoader: "gummiboot" # Gummiboot configuration files settings, set kernel and initramfs file names # and amount of time before default selection boots # Optionally set the menu entry name to use in Gummiboot. If not specified here, # this setting will be taken from branding.desc. # bootloaderEntryName: "KaOS-kf5" kernel: "/vmlinuz-linux" img: "/initramfs-linux.img" fallback: "/initramfs-linux-fallback.img" kernelLine: "Linux core repo kernel" fallbackKernelLine: "Linux fallback kernel" timeout: "10" # 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"