diff --git a/OvmfPkg/OvmfPkgX64.dsc b/OvmfPkg/OvmfPkgX64.dsc index 44bb0134e2..391c7e7785 100644 --- a/OvmfPkg/OvmfPkgX64.dsc +++ b/OvmfPkg/OvmfPkgX64.dsc @@ -35,8 +35,6 @@ !include OvmfPkg/OvmfTpmDefines.dsc.inc - DEFINE TPM_CONFIG_ENABLE = FALSE - DEFINE DEBUG_ON_SERIAL_PORT = TRUE # @@ -607,7 +605,8 @@ gEmbeddedTokenSpaceGuid.PcdMemoryTypeEfiRuntimeServicesData|0x100 # - # TDX need 1G PageTable support + # TDX needs 1G PageTable support + # gEfiMdeModulePkgTokenSpaceGuid.PcdUse1GPageTable|TRUE #