| # Location of EFI files inside EFI System Partition |
| EFIDIR ?= "/EFI/BOOT" |
| |
| # Location of UKI inside EFI System Partition |
| EFI_UKI_DIR ?= "/EFI/Linux" |
| |
| # Prefix where ESP is mounted inside rootfs. Set to empty if package is going |
| # to be installed to ESP directly |
| EFI_PREFIX ?= "/boot" |
| |
| # Location inside rootfs. |
| EFI_FILES_PATH = "${EFI_PREFIX}${EFIDIR}" |
| EFI_UKI_PATH = "${EFI_PREFIX}${EFI_UKI_DIR}" |
| |
| # The EFI name for the architecture |
| EFI_ARCH ?= "INVALID" |
| EFI_ARCH:x86 = "ia32" |
| EFI_ARCH:x86-64 = "x64" |
| EFI_ARCH:aarch64 = "aa64" |
| EFI_ARCH:arm = "arm" |
| EFI_ARCH:riscv32 = "riscv32" |
| EFI_ARCH:riscv64 = "riscv64" |
| EFI_ARCH:loongarch64 = "loongarch64" |
| |
| # Determine name of bootloader image |
| EFI_BOOT_IMAGE ?= "boot${EFI_ARCH}.efi" |