[BuildOptions.common.EDKII.DXE_RUNTIME_DRIVER]\r
GCC:*_*_*_DLINK_FLAGS = -z common-page-size=0x1000\r
\r
+# Force PE/COFF sections to be aligned at 4KB boundaries to support page level\r
+# protection of DXE_SMM_DRIVER/SMM_CORE modules\r
+[BuildOptions.common.EDKII.DXE_SMM_DRIVER, BuildOptions.common.EDKII.SMM_CORE]\r
+ GCC:*_*_*_DLINK_FLAGS = -z common-page-size=0x1000\r
+\r
################################################################################\r
#\r
# SKU Identification section - list of all SKU IDs supported by this Platform.\r
gEfiMdeModulePkgTokenSpaceGuid.PcdSetNxForStack|FALSE\r
gEfiMdeModulePkgTokenSpaceGuid.PcdPropertiesTableEnable|FALSE\r
\r
+ # UefiCpuPkg PCDs related to initial AP bringup and general AP management.\r
+ gUefiCpuPkgTokenSpaceGuid.PcdCpuMaxLogicalProcessorNumber|64\r
+ gUefiCpuPkgTokenSpaceGuid.PcdCpuApInitTimeOutInMicroSeconds|50000\r
+\r
################################################################################\r
#\r
# Components Section - list of all EDK II Modules needed by this Platform.\r