/OvmfPkg/Sec/

• ../
• AmdSev.c
• AmdSev.h
• Ia32
• SecMain.c
• SecMain.inf
• X64