EDK2_BUILD_RELEASE = "0" EDK2_PLATFORM = "ArmVExpress-FVP-AArch64" EDK2_PLATFORM_DSC = "Platform/ARM/VExpressPkg/ArmVExpress-FVP-AArch64.dsc" EDK2_BIN_NAME = "FVP_AARCH64_EFI.fd" COMPATIBLE_MACHINE = "fvp-base"