/OvmfPkg/IntelTdx/

• ../
• IntelTdxX64.dsc
• IntelTdxX64.fdf
• PrePiHobListPointerLibTdx
• README.md
• Sec
• TdxHelperLib