#\r
gEmbeddedTokenSpaceGuid.PcdPrePiCpuIoSize|16\r
\r
+[PcdsFixedAtBuild.AARCH64]\r
+ gEfiMdeModulePkgTokenSpaceGuid.PcdSetNxForStack|TRUE\r
+\r
[PcdsDynamicDefault.common]\r
## If TRUE, OvmfPkg/AcpiPlatformDxe will not wait for PCI\r
# enumeration to complete before installing ACPI tables.\r
\r
gArmVirtTokenSpaceGuid.PcdFwCfgSelectorAddress|0x0\r
gArmVirtTokenSpaceGuid.PcdFwCfgDataAddress|0x0\r
+ gArmVirtTokenSpaceGuid.PcdFwCfgDmaAddress|0x0\r
\r
#\r
# Set video resolution for boot options and for text setup.\r