/OvmfPkg/IntelTdx/
../
IntelTdxX64.dsc
IntelTdxX64.fdf
PrePiHobListPointerLibTdx
README
Sec