/OvmfPkg/IntelTdx/

• ../
• IntelTdxX64.dsc
• IntelTdxX64.fdf
• PrePiHobListPointerLibTdx
• README
• Sec
• TdTcg2Dxe