| Brad Bishop | bec4ebc | 2022-08-03 09:55:16 -0400 | [diff] [blame] | 1 | # SGI575 specific EDK2 configurations |
| 2 | EDK2_BUILD_RELEASE = "0" | ||||
| 3 | EDK2_PLATFORM = "Sgi575" | ||||
| 4 | EDK2_PLATFORM_DSC = "Platform/ARM/SgiPkg/Sgi575/Sgi575.dsc" | ||||
| 5 | EDK2_BIN_NAME = "BL33_AP_UEFI.fd" | ||||
| 6 | |||||
| 7 | COMPATIBLE_MACHINE = "sgi575" | ||||