# SPDX-FileCopyrightText: no # SPDX-License-Identifier: CC0-1.0 # # Bootloader configuration for both BIOS and UEFI systems --- # Check for EFI system first bootLoader: "grub" # Define bootloader for EFI systems efiBootLoader: "systemd-boot" # EFI System Partition mount point efiSystemPartition: "/boot" # systemd-boot configuration (only used if EFI is detected) kernelSearchPath: "/usr/lib/modules" kernelPattern: "vmlinuz-linux-zen" kernelName: "linux-zen" # loaderEntries for systemd-boot loader.conf loaderEntries: - "timeout 3" - "console-mode keep" # Kernel parameters for both bootloaders kernelParams: [ "quiet", "rw" ] # GRUB configuration (used for both BIOS and as EFI fallback) grubInstall: "grub-install" grubMkconfig: "grub-mkconfig" grubCfg: "/boot/grub/grub.cfg" grubProbe: "grub-probe" efiBootMgr: "efibootmgr" # Common settings bootloaderEntryName: "AirOS" installEFIFallback: true