# mkinitcpio preset for the 'linux-hardened' kernel. Produces a UKI at
# /boot/EFI/Linux/arch-linux-hardened.efi alongside the stock linux UKI.
# Shares etc/kernel/cmdline.tmpl (same LUKS root, no kernel-specific
# cmdline knobs). Register the EFI entry once with efibootmgr:
#
#   sudo efibootmgr --create --disk /dev/nvme0n1 --part 1 \
#     --label 'Arch Hardened' --loader '\EFI\Linux\arch-linux-hardened.efi'
#
# Boot it on demand via:  sudo efibootmgr --bootnext XXXX && systemctl reboot

#ALL_config="/etc/mkinitcpio.conf"
ALL_kver="/boot/vmlinuz-linux-hardened"

PRESETS=('default')

default_uki="/boot/EFI/Linux/arch-linux-hardened.efi"