| # Location of EFI files inside EFI System Partition |
| # 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 |
| # 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:aarch64 = "aa64" |
| EFI_ARCH:riscv32 = "riscv32" |
| EFI_ARCH:riscv64 = "riscv64" |
| EFI_ARCH:loongarch64 = "loongarch64" |
| # Determine name of bootloader image |
| EFI_BOOT_IMAGE ?= "boot${EFI_ARCH}.efi" |