PLATFORM_VERSION = 0.1\r
DSC_SPECIFICATION = 0x00010005 \r
SUPPORTED_ARCHITECTURES = IA32|X64\r
- BUILD_TARGETS = DEBUG|RELEASE\r
+ BUILD_TARGETS = DEBUG|RELEASE|NOOPT\r
SKUID_IDENTIFIER = DEFAULT\r
- OUTPUT_DIRECTORY = Build/CorebootPayloadPkg\r
+ OUTPUT_DIRECTORY = Build/CorebootPayloadPkgX64\r
FLASH_DEFINITION = CorebootPayloadPkg/CorebootPayloadPkg.fdf\r
\r
DEFINE SECURE_BOOT_ENABLE = FALSE\r
gEfiMdeModulePkgTokenSpaceGuid.PcdVariableStoreSize|0x10000\r
\r
gEfiMdeModulePkgTokenSpaceGuid.PcdVpdBaseAddress|0x0 \r
+ gEfiMdeModulePkgTokenSpaceGuid.PcdUse1GPageTable|TRUE\r
\r
!if $(SOURCE_DEBUG_ENABLE)\r
gEfiSourceLevelDebugPkgTokenSpaceGuid.PcdDebugLoadImageMethod|0x2\r