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