1# SGI575 specific EDK2 configurations 2EDK2_BUILD_RELEASE = "0" 3EDK2_PLATFORM = "Sgi575" 4EDK2_PLATFORM_DSC = "Platform/ARM/SgiPkg/Sgi575/Sgi575.dsc" 5EDK2_BIN_NAME = "BL33_AP_UEFI.fd" 6 7COMPATIBLE_MACHINE = "sgi575" 8
1# SGI575 specific EDK2 configurations 2EDK2_BUILD_RELEASE = "0" 3EDK2_PLATFORM = "Sgi575" 4EDK2_PLATFORM_DSC = "Platform/ARM/SgiPkg/Sgi575/Sgi575.dsc" 5EDK2_BIN_NAME = "BL33_AP_UEFI.fd" 6 7COMPATIBLE_MACHINE = "sgi575" 8