/src/VBox/Devices/EFI/Firmware/OvmfPkg/AmdSev/SecretPei/
../
SecretPei.c
SecretPei.inf