| # Location of EFI files inside EFI System Partition | |
| EFIDIR ?= "/EFI/BOOT" | |
| # 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}" | |
| # 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" | |
| # Determine name of bootloader image | |
| EFI_BOOT_IMAGE ?= "boot${EFI_ARCH}.efi" |