/src/VBox/Devices/EFI/Firmware/OvmfPkg/AmdSev/

• ../
• AmdSevX64.dsc
• AmdSevX64.fdf
• Grub
• SecretDxe
• SecretPei