/OvmfPkg/IntelTdx/Sec/

• ../
• SecMain.c
• SecMain.inf
• X64