/src/VBox/Devices/EFI/Firmware/OvmfPkg/Sec/

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