OvmfPkg: Add TdxDxe driver

[mirror_edk2.git] / OvmfPkg / OvmfPkgX64.dsc

diff --git a/OvmfPkg/OvmfPkgX64.dsc b/OvmfPkg/OvmfPkgX64.dsc
index 3092036bb7f617920977a4147cc0998d69bb2056..21542479091588597763d6f7bbb310b0b0c93f2b 100644 (file)
--- a/OvmfPkg/OvmfPkgX64.dsc
+++ b/OvmfPkg/OvmfPkgX64.dsc
@@ -956,6 +956,8 @@
   }\r
   OvmfPkg/IoMmuDxe/IoMmuDxe.inf\r
 \r
+  OvmfPkg/TdxDxe/TdxDxe.inf\r
+\r
 !if $(SMM_REQUIRE) == TRUE\r
   OvmfPkg/SmmAccess/SmmAccess2Dxe.inf\r
   OvmfPkg/SmmControl2Dxe/SmmControl2Dxe.inf\r