1# Location of EFI files inside EFI System Partition 2EFIDIR ?= "/EFI/BOOT" 3 4# Location of UKI inside EFI System Partition 5EFI_UKI_DIR ?= "/EFI/Linux" 6 7# Prefix where ESP is mounted inside rootfs. Set to empty if package is going 8# to be installed to ESP directly 9EFI_PREFIX ?= "/boot" 10 11# Location inside rootfs. 12EFI_FILES_PATH = "${EFI_PREFIX}${EFIDIR}" 13EFI_UKI_PATH = "${EFI_PREFIX}${EFI_UKI_DIR}" 14 15# The EFI name for the architecture 16EFI_ARCH ?= "INVALID" 17EFI_ARCH:x86 = "ia32" 18EFI_ARCH:x86-64 = "x64" 19EFI_ARCH:aarch64 = "aa64" 20EFI_ARCH:arm = "arm" 21EFI_ARCH:riscv32 = "riscv32" 22EFI_ARCH:riscv64 = "riscv64" 23EFI_ARCH:loongarch64 = "loongarch64" 24 25# Determine name of bootloader image 26EFI_BOOT_IMAGE ?= "boot${EFI_ARCH}.efi" 27