/roms/edk2/OvmfPkg/Sec/

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