0x00B000|0x001000\r
gUefiCpuPkgTokenSpaceGuid.PcdSevEsWorkAreaBase|gUefiCpuPkgTokenSpaceGuid.PcdSevEsWorkAreaSize\r
\r
+0x00C000|0x001000\r
+gUefiOvmfPkgTokenSpaceGuid.PcdSevLaunchSecretBase|gUefiOvmfPkgTokenSpaceGuid.PcdSevLaunchSecretSize\r
+\r
0x010000|0x010000\r
gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecPeiTempRamBase|gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecPeiTempRamSize\r
\r
INF MdeModulePkg/Core/DxeIplPeim/DxeIpl.inf\r
INF UefiCpuPkg/Universal/Acpi/S3Resume2Pei/S3Resume2Pei.inf\r
INF UefiCpuPkg/CpuMpPei/CpuMpPei.inf\r
+INF OvmfPkg/AmdSev/SecretPei/SecretPei.inf\r
\r
!if $(TPM_ENABLE) == TRUE\r
INF OvmfPkg/Tcg/Tcg2Config/Tcg2ConfigPei.inf\r
!if $(TOOL_CHAIN_TAG) != "XCODE5" && $(BUILD_SHELL) == TRUE\r
INF OvmfPkg/LinuxInitrdDynamicShellCommand/LinuxInitrdDynamicShellCommand.inf\r
!endif\r
+INF OvmfPkg/AmdSev/SecretDxe/SecretDxe.inf\r
INF OvmfPkg/AmdSev/Grub/Grub.inf\r
!if $(BUILD_SHELL) == TRUE\r
INF ShellPkg/Application/Shell/Shell.inf\r