# 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"
