[PATCH v2 2/3] SecurityPkg/FvReportPei: implement a common FV verifier and reporter

["Wang, Jian J" <jian.j.wang@intel.com>]

>v2: correct parameter and return value description for GetHashInfo()

https://bugzilla.tianocore.org/show_bug.cgi?id=1617

This driver implements a common checker, verifier and reporter which is
independent of hardware based root-of-trust.

Usually the hardware based root-of-trust will not verify all BIOS but
part of it. For example, Boot Guard will only verify IBB segment. The IBB
needs to verify other part of BIOS, i.e. other FVs to transfer control to
from IBB. This driver plays the role in IBB to verify FVs not covered by
hardware root-of-trust to make sure integrity of the chain of trust.

To be hardware/platform independent, PPI

  gEdkiiPeiFirmwareVolumeInfoStoredHashFvPpiGuid

is introduced for platform to pass digest information to this driver.
This PPI should include all information needed to verify required FVs in
required boot mode.

struct _EDKII_PEI_FIRMWARE_VOLUME_INFO_STORED_HASH_FV_PPI {
  UINTN                   FvNumber;
  HASHED_FV_INFO          FvInfo[HASHED_FV_MAX_NUMBER];
  UINTN                   HashNumber;
  FV_HASH_INFO            HashInfo[1];
};

To avoid TOCTOU issue, all FVs to be verified will be copied to memory
before hash calculation. That also means this driver has to be run after
permanent memory has been discovered.

For a measured boot, this driver will install

  gEdkiiPeiFirmwareVolumeInfoPrehashedFvPpiGuid

to report digest of each FV to TCG driver.

For a verified boot, this driver will verify the final hash value
(calculated from the concatenation of each FV's hash) for indicated
FVs against the hash got from platform/hardware.

If pass, it will build EFI_HOB_TYPE_FV (consumed by DXE core) and/or
install gEfiPeiFirmwareVolumeInfoPpiGuid (consumed by PEI core), and
then report status code PcdStatusCodeFvVerificationPass.

If fail, it just report status code PcdStatusCodeFvVerificationFail
and go to dead loop if status report returns.

The platform can register customized handler to process pass and fail
cases differently.

Currently, this driver only supports hash (sha256/384/512) verification
for the performance consideration.

Cc: Chao Zhang <chao.b.zhang@intel.com>
Cc: Jiewen Yao <jiewen.yao@intel.com>
Signed-off-by: Jian J Wang <jian.j.wang@intel.com>
---
 SecurityPkg/FvReportPei/FvReportPei.c         | 418 ++++++++++++++++++
 SecurityPkg/FvReportPei/FvReportPei.h         | 121 +++++
 SecurityPkg/FvReportPei/FvReportPei.inf       |  57 +++
 SecurityPkg/FvReportPei/FvReportPei.uni       |  14 +
 .../FvReportPei/FvReportPeiPeiExtra.uni       |  12 +
 5 files changed, 622 insertions(+)
 create mode 100644 SecurityPkg/FvReportPei/FvReportPei.c
 create mode 100644 SecurityPkg/FvReportPei/FvReportPei.h
 create mode 100644 SecurityPkg/FvReportPei/FvReportPei.inf
 create mode 100644 SecurityPkg/FvReportPei/FvReportPei.uni
 create mode 100644 SecurityPkg/FvReportPei/FvReportPeiPeiExtra.uni

diff --git a/SecurityPkg/FvReportPei/FvReportPei.c b/SecurityPkg/FvReportPei/FvReportPei.c
new file mode 100644
index 0000000000..07855774b4
--- /dev/null
+++ b/SecurityPkg/FvReportPei/FvReportPei.c
@@ -0,0 +1,418 @@
+/** @file
+  This driver verifies and reports OBB FVs.
+
+Copyright (c) 2019, Intel Corporation. All rights reserved.<BR>
+SPDX-License-Identifier: BSD-2-Clause-Patent
+
+**/
+
+#include "FvReportPei.h"
+
+STATIC CONST HASH_ALG_INFO mHashAlgInfo[] = {
+  {0, NULL, NULL, NULL, NULL},                    // 0000 TPM_ALG_ERROR
+  {0, NULL, NULL, NULL, NULL},                    // 0001 TPM_ALG_FIRST
+  {0, NULL, NULL, NULL, NULL},                    // 0002
+  {0, NULL, NULL, NULL, NULL},                    // 0003
+  {0, NULL, NULL, NULL, NULL},                    // 0004 TPM_ALG_SHA1
+  {0, NULL, NULL, NULL, NULL},                    // 0005
+  {0, NULL, NULL, NULL, NULL},                    // 0006 TPM_ALG_AES
+  {0, NULL, NULL, NULL, NULL},                    // 0007
+  {0, NULL, NULL, NULL, NULL},                    // 0008 TPM_ALG_KEYEDHASH
+  {0, NULL, NULL, NULL, NULL},                    // 0009
+  {0, NULL, NULL, NULL, NULL},                    // 000A
+  {SHA256_DIGEST_SIZE, Sha256Init, Sha256Update, Sha256Final, Sha256HashAll}, // 000B TPM_ALG_SHA256
+  {SHA384_DIGEST_SIZE, Sha384Init, Sha384Update, Sha384Final, Sha384HashAll}, // 000C TPM_ALG_SHA384
+  {SHA512_DIGEST_SIZE, Sha512Init, Sha512Update, Sha512Final, Sha512HashAll}, // 000D TPM_ALG_SHA512
+  {0, NULL, NULL, NULL, NULL},                    // 000E
+  {0, NULL, NULL, NULL, NULL},                    // 000F
+  {0, NULL, NULL, NULL, NULL},                    // 0010 TPM_ALG_NULL
+//{0, NULL, NULL, NULL, NULL},                    // 0011
+//{0, NULL, NULL, NULL, NULL},                    // 0012 TPM_ALG_SM3_256
+};
+
+/**
+  Install a EDKII_PEI_FIRMWARE_VOLUME_INFO_PREHASHED_FV_PPI instance so that
+  TCG driver may use to extend PCRs.
+
+  @param[in]  FvBuffer            Buffer containing the whole FV.
+  @param[in]  FvLength            Length of the FV.
+  @param[in]  HashAlgoId          Hash algorithm type id.
+  @param[in]  HashSize            Hash size.
+  @param[in]  HashValue           Hash value buffer.
+**/
+STATIC
+VOID
+InstallPreHashFvPpi (
+  IN VOID           *FvBuffer,
+  IN UINTN          FvLength,
+  IN UINT16         HashAlgoId,
+  IN UINT16         HashSize,
+  IN UINT8          *HashValue
+  )
+{
+  EFI_STATUS                                        Status;
+  EFI_PEI_PPI_DESCRIPTOR                            *FvInfoPpiDescriptor;
+  EDKII_PEI_FIRMWARE_VOLUME_INFO_PREHASHED_FV_PPI   *PreHashedFvPpi;
+  UINTN                                             PpiSize;
+  HASH_INFO                                         *HashInfo;
+
+  PpiSize = sizeof (EDKII_PEI_FIRMWARE_VOLUME_INFO_PREHASHED_FV_PPI)
+            + sizeof (sizeof (HASH_INFO))
+            + HashSize;
+
+  PreHashedFvPpi = AllocatePool (PpiSize);
+  ASSERT (PreHashedFvPpi != NULL);
+
+  PreHashedFvPpi->FvBase    = (UINT32)(UINTN)FvBuffer;
+  PreHashedFvPpi->FvLength  = (UINT32)FvLength;
+  PreHashedFvPpi->Count     = 1;
+
+  HashInfo = HASH_INFO_PTR (PreHashedFvPpi);
+  HashInfo->HashAlgoId = HashAlgoId;
+  HashInfo->HashSize = HashSize;
+  CopyMem (HASH_VALUE_PTR (HashInfo), HashValue, HashSize);
+
+  FvInfoPpiDescriptor = AllocatePool (sizeof (EFI_PEI_PPI_DESCRIPTOR));
+  ASSERT (FvInfoPpiDescriptor != NULL);
+
+  FvInfoPpiDescriptor->Guid  = &gEdkiiPeiFirmwareVolumeInfoPrehashedFvPpiGuid;
+  FvInfoPpiDescriptor->Flags = EFI_PEI_PPI_DESCRIPTOR_PPI | EFI_PEI_PPI_DESCRIPTOR_TERMINATE_LIST;
+  FvInfoPpiDescriptor->Ppi   = (VOID *) PreHashedFvPpi;
+
+  Status = PeiServicesInstallPpi (FvInfoPpiDescriptor);
+  ASSERT_EFI_ERROR (Status);
+}
+
+/**
+  Calculate and verify hash value for given FV.
+
+  @param[in]  HashInfo            Hash information of the FV.
+  @param[in]  FvInfo              Information of FV used for verification.
+  @param[in]  FvNumber            Length of the FV.
+  @param[in]  BootMode            Length of the FV.
+
+  @retval EFI_SUCCESS           The given FV is integrate.
+  @retval EFI_VOLUME_CORRUPTED  The given FV is corrupted (hash mismatch).
+  @retval EFI_UNSUPPORTED       The hash algorithm is not supported.
+  @retval EFI_INVALID_PARAMETER FvInfo is NULL or FvNumber is zero.
+**/
+STATIC
+EFI_STATUS
+VerifyHashedFv (
+  IN FV_HASH_INFO         *HashInfo,
+  IN HASHED_FV_INFO       *FvInfo,
+  IN UINTN                FvNumber,
+  IN EFI_BOOT_MODE        BootMode
+  )
+{
+  UINTN                 FvIndex;
+  CONST HASH_ALG_INFO   *AlgInfo;
+  UINT8                 *HashValue;
+  UINT8                 *FvHashValue;
+  VOID                  *FvBuffer;
+  EFI_STATUS            Status;
+
+  if (HashInfo == NULL ||
+      HashInfo->HashSize == 0 ||
+      HashInfo->HashAlgoId == TPM_ALG_NULL) {
+    DEBUG ((DEBUG_INFO, "Bypass FV hash verification\r\n"));
+    return EFI_SUCCESS;
+  }
+
+  if (FvInfo == NULL || FvNumber == 0 ) {
+    return EFI_INVALID_PARAMETER;
+  }
+
+  if (HashInfo->HashAlgoId >= ARRAY_SIZE (mHashAlgInfo) ||
+      mHashAlgInfo[HashInfo->HashAlgoId].HashSize != HashInfo->HashSize) {
+    DEBUG ((DEBUG_ERROR, "Unsupported or wrong hash algorithm: %04X (size=%d)\r\n",
+            HashInfo->HashAlgoId, HashInfo->HashSize));
+    return EFI_UNSUPPORTED;
+  }
+
+  AlgInfo = &mHashAlgInfo[HashInfo->HashAlgoId];
+
+  //
+  // We need a hash value for each FV as well as one for all FVs.
+  //
+  HashValue = AllocateZeroPool (AlgInfo->HashSize * (FvNumber + 1));
+  ASSERT (HashValue != NULL);
+
+  //
+  // Calcuate hash value for each FV first.
+  //
+  FvHashValue = HashValue;
+  for (FvIndex = 0; FvIndex < FvNumber; ++FvIndex) {
+    //
+    // Skip any FV not meant for verified boot and measured boot.
+    //
+    if ((FvInfo[FvIndex].Flag & HASHED_FV_FLAG_VERIFIED_BOOT) == 0 &&
+        (FvInfo[FvIndex].Flag & HASHED_FV_FLAG_MEASURED_BOOT) == 0) {
+      continue;
+    }
+
+    //
+    // Skip any FV not meant for current boot mode.
+    //
+    if ((FvInfo[FvIndex].Flag & HASHED_FV_FLAG_SKIP_BOOT_MODE (BootMode)) != 0) {
+      continue;
+    }
+
+    DEBUG ((
+      DEBUG_INFO,
+      "Pre-hashed[alg=%04X,size=%d,flag=%016lX] FV: 0x%08X (%X) (Flag=%016lX)\r\n",
+      HashInfo->HashAlgoId,
+      HashInfo->HashSize,
+      HashInfo->HashFlag,
+      FvInfo[FvIndex].Base,
+      FvInfo[FvIndex].Length,
+      FvInfo[FvIndex].Flag
+      ));
+
+    //
+    // Copy FV to permanent memory to avoid potential TOC/TOU.
+    //
+    FvBuffer = AllocatePages (EFI_SIZE_TO_PAGES(FvInfo[FvIndex].Length));
+    ASSERT (FvBuffer != NULL);
+    CopyMem (FvBuffer, (CONST VOID *)(UINTN)FvInfo[FvIndex].Base, FvInfo[FvIndex].Length);
+
+    if (AlgInfo->HashAll (FvBuffer, FvInfo[FvIndex].Length, FvHashValue) == FALSE) {
+      Status = EFI_ABORTED;
+      goto Done;
+    }
+
+    //
+    // Report the FV measurement.
+    //
+    if ((FvInfo[FvIndex].Flag & HASHED_FV_FLAG_MEASURED_BOOT) != 0) {
+      InstallPreHashFvPpi (
+        FvBuffer,
+        FvInfo[FvIndex].Length,
+        HashInfo->HashAlgoId,
+        HashInfo->HashSize,
+        FvHashValue
+        );
+    }
+
+    //
+    // Don't keep the hash value of current FV if we don't need to verify it.
+    //
+    if ((FvInfo[FvIndex].Flag & HASHED_FV_FLAG_VERIFIED_BOOT) != 0) {
+      FvHashValue += AlgInfo->HashSize;
+    }
+
+    //
+    // Use memory copy of the FV from now on.
+    //
+    FvInfo[FvIndex].Base = (UINT32)(UINTN)FvBuffer;
+  }
+
+  //
+  // Check final hash for all FVs.
+  //
+  if (FvHashValue == HashValue ||
+      (AlgInfo->HashAll (HashValue, FvHashValue - HashValue, FvHashValue) &&
+       CompareMem (HashInfo->Hash, FvHashValue, AlgInfo->HashSize) == 0)) {
+    Status = EFI_SUCCESS;
+  } else {
+    Status = EFI_VOLUME_CORRUPTED;
+  }
+
+Done:
+  FreePool (HashValue);
+  return Status;
+}
+
+/**
+  Report FV to PEI and/or DXE core for dispatch.
+
+  @param[in] FvInfo     Information of a FV.
+
+**/
+STATIC
+VOID
+ReportHashedFv (
+  IN HASHED_FV_INFO       *FvInfo
+  )
+{
+  CONST EFI_GUID    *FvFormat;
+
+  if ((FvInfo->Flag & HASHED_FV_FLAG_REPORT_FV_HOB) != 0) {
+    //
+    // Require DXE core to process this FV.
+    //
+    BuildFvHob (
+      (EFI_PHYSICAL_ADDRESS)(UINTN)FvInfo->Base,
+      (UINT64)FvInfo->Length
+      );
+    DEBUG ((DEBUG_INFO, "Reported FV HOB: %08X (%X)\r\n", FvInfo->Base, FvInfo->Length));
+  }
+
+  if ((FvInfo->Flag & HASHED_FV_FLAG_REPORT_FV_INFO_PPI) != 0) {
+    //
+    // Require PEI core to process this FV.
+    //
+    FvFormat = &((EFI_FIRMWARE_VOLUME_HEADER *)(UINTN)FvInfo->Base)->FileSystemGuid;
+    PeiServicesInstallFvInfoPpi (
+      FvFormat,
+      (VOID *)(UINTN)FvInfo->Base,
+      FvInfo->Length,
+      NULL,
+      NULL
+      );
+    DEBUG ((DEBUG_INFO, "Reported FV PPI: %08X (%X)\r\n", FvInfo->Base, FvInfo->Length));
+  }
+}
+
+/**
+  Verify and report pre-hashed FVs.
+
+  Doing this must be at post-memory to make sure there's enough memory to hold
+  all FVs to be verified. This is necessary for mitigating TOCTOU issue.
+
+  This function will never return if the verification is failed.
+
+  @param[in] StoredHashFvPpi  Pointer to PPI containing hash information.
+  @param[in] BootMode         Current boot mode.
+
+  @retval Pointer to structure containning valid hash information for current boot mode.
+  @retval NULL if there's no hash associated with current boot mode.
+**/
+STATIC
+FV_HASH_INFO *
+GetHashInfo (
+  IN EDKII_PEI_FIRMWARE_VOLUME_INFO_STORED_HASH_FV_PPI  *StoredHashFvPpi,
+  IN EFI_BOOT_MODE                                      BootMode
+  )
+{
+  FV_HASH_INFO            *HashInfo;
+  UINTN                   HashIndex;
+
+  for (HashIndex = 0, HashInfo = NULL;
+       HashIndex < StoredHashFvPpi->HashNumber && HashInfo == NULL;
+       ++HashIndex) {
+
+    if ((StoredHashFvPpi->HashInfo[HashIndex].HashFlag
+         & FV_HASH_FLAG_BOOT_MODE (BootMode)) != 0) {
+      HashInfo = &StoredHashFvPpi->HashInfo[HashIndex];
+      break;
+    }
+
+  }
+
+  return HashInfo;
+}
+
+/**
+  Verify and report pre-hashed FVs.
+
+  Doing this must be at post-memory to make sure there's enough memory to hold
+  all FVs to be verified. This is necessary for mitigating TOCTOU issue.
+
+  This function will never return if the verification is failed.
+
+  @param[in] PeiServices      General purpose services available to every PEIM.
+  @param[in] BootMode         Current boot mode.
+
+  @retval EFI_SUCCESS         The function completed successfully.
+**/
+STATIC
+EFI_STATUS
+CheckStoredHashFv (
+  IN CONST EFI_PEI_SERVICES           **PeiServices,
+  IN EFI_BOOT_MODE                    BootMode
+  )
+{
+  EFI_STATUS                                            Status;
+  UINT32                                                Instance;
+  EDKII_PEI_FIRMWARE_VOLUME_INFO_STORED_HASH_FV_PPI     *StoredHashFvPpi;
+  FV_HASH_INFO                                          *HashInfo;
+  UINTN                                                 FvIndex;
+
+  //
+  // Check pre-hashed FV list
+  //
+  Instance        = 0;
+  StoredHashFvPpi = NULL;
+  do {
+    Status = PeiServicesLocatePpi (
+               &gEdkiiPeiFirmwareVolumeInfoStoredHashFvPpiGuid,
+               Instance,
+               NULL,
+               (VOID**)&StoredHashFvPpi
+               );
+    if (!EFI_ERROR(Status) && StoredHashFvPpi != NULL && StoredHashFvPpi->FvNumber > 0) {
+
+      HashInfo = GetHashInfo(StoredHashFvPpi, BootMode);
+      Status = VerifyHashedFv (HashInfo, StoredHashFvPpi->FvInfo,
+                               StoredHashFvPpi->FvNumber, BootMode);
+      if (!EFI_ERROR (Status)) {
+        //
+        // Report the FVs to PEI core and/or DXE core.
+        //
+        for (FvIndex = 0; FvIndex < StoredHashFvPpi->FvNumber; ++FvIndex) {
+          if ((StoredHashFvPpi->FvInfo[FvIndex].Flag
+               & HASHED_FV_FLAG_SKIP_BOOT_MODE (BootMode)) == 0) {
+            ReportHashedFv (&StoredHashFvPpi->FvInfo[FvIndex]);
+          }
+        }
+
+      } else {
+
+        DEBUG ((DEBUG_ERROR, "ERROR: Failed to verify OBB FVs (%r)\r\n", Status));
+
+        REPORT_STATUS_CODE_EX (
+          EFI_PROGRESS_CODE,
+          PcdGet32 (PcdStatusCodeFvVerificationFail),
+          Instance,
+          NULL,
+          &gEdkiiPeiFirmwareVolumeInfoStoredHashFvPpiGuid,
+          StoredHashFvPpi,
+          sizeof (*StoredHashFvPpi)
+          );
+
+        ASSERT (FALSE);
+        CpuDeadLoop ();
+
+      }
+    }
+
+    Instance++;
+
+  } while (!EFI_ERROR(Status));
+
+  REPORT_STATUS_CODE (
+    EFI_PROGRESS_CODE,
+    PcdGet32 (PcdStatusCodeFvVerificationPass)
+    );
+
+  return EFI_SUCCESS;
+}
+
+/**
+  Main entry for FvReport PEIM.
+
+  @param[in]  FileHandle              Handle of the file being invoked.
+  @param[in]  PeiServices             Pointer to PEI Services table.
+
+  @retval EFI_SUCCESS  If all FVs reported by StoredHashFvPpi are verified.
+
+**/
+EFI_STATUS
+EFIAPI
+FvReportEntryPoint (
+  IN       EFI_PEI_FILE_HANDLE  FileHandle,
+  IN CONST EFI_PEI_SERVICES     **PeiServices
+  )
+{
+  EFI_STATUS           Status;
+  EFI_BOOT_MODE        BootMode;
+
+  Status = PeiServicesGetBootMode (&BootMode);
+  ASSERT_EFI_ERROR (Status);
+
+  Status = CheckStoredHashFv (PeiServices, BootMode);
+  ASSERT_EFI_ERROR (Status);
+
+  return Status;
+}
diff --git a/SecurityPkg/FvReportPei/FvReportPei.h b/SecurityPkg/FvReportPei/FvReportPei.h
new file mode 100644
index 0000000000..fb7d205f73
--- /dev/null
+++ b/SecurityPkg/FvReportPei/FvReportPei.h
@@ -0,0 +1,121 @@
+/** @file
+  Definitions for OBB FVs verification.
+
+Copyright (c) 2019, Intel Corporation. All rights reserved.<BR>
+SPDX-License-Identifier: BSD-2-Clause-Patent
+
+**/
+
+#ifndef __FV_REPORT_PEI_H__
+#define __FV_REPORT_PEI_H__
+
+#include <PiPei.h>
+
+#include <IndustryStandard/Tpm20.h>
+
+#include <Ppi/FirmwareVolumeInfoStoredHashFv.h>
+
+#include <Library/PeiServicesLib.h>
+#include <Library/PcdLib.h>
+#include <Library/HobLib.h>
+#include <Library/DebugLib.h>
+#include <Library/BaseMemoryLib.h>
+#include <Library/MemoryAllocationLib.h>
+#include <Library/BaseCryptLib.h>
+#include <Library/ReportStatusCodeLib.h>
+
+#define HASH_INFO_PTR(PreHashedFvPpi)  \
+  (HASH_INFO *)((UINT8 *)(PreHashedFvPpi) + sizeof (EDKII_PEI_FIRMWARE_VOLUME_INFO_PREHASHED_FV_PPI))
+
+#define HASH_VALUE_PTR(HashInfo)   \
+  (VOID *)((UINT8 *)(HashInfo) + sizeof (HASH_INFO))
+
+/**
+  Computes the message digest of a input data buffer.
+
+  This function performs message digest of a given data buffer, and places
+  the digest value into the specified memory.
+
+  If this interface is not supported, then return FALSE.
+
+  @param[in]   Data        Pointer to the buffer containing the data to be hashed.
+  @param[in]   DataSize    Size of Data buffer in bytes.
+  @param[out]  HashValue   Pointer to a buffer that receives digest value.
+
+  @retval TRUE   The digest computation succeeded.
+  @retval FALSE  The digest computation failed.
+
+**/
+typedef
+BOOLEAN
+(EFIAPI *HASH_ALL_METHOD) (
+  IN   CONST VOID  *Data,
+  IN   UINTN       DataSize,
+  OUT  UINT8       *HashValue
+  );
+
+/**
+  Initializes user-supplied memory as hash context for subsequent use.
+
+  @param[out]  HashContext  Pointer to hash context being initialized.
+
+  @retval TRUE   Hash context initialization succeeded.
+  @retval FALSE  Hash context initialization failed.
+  @retval FALSE  This interface is not supported.
+
+**/
+typedef
+BOOLEAN
+(EFIAPI *HASH_INIT_METHOD) (
+  OUT  VOID  *HashContext
+  );
+
+/**
+  Digests the input data and updates hash context.
+
+  @param[in, out]  HashContext  Pointer to the hash context.
+  @param[in]       Data         Pointer to the buffer containing the data to be hashed.
+  @param[in]       DataSize     Size of Data buffer in bytes.
+
+  @retval TRUE   Hash data digest succeeded.
+  @retval FALSE  Hash data digest failed.
+  @retval FALSE  This interface is not supported.
+
+**/
+typedef
+BOOLEAN
+(EFIAPI *HASH_UPDATE_METHOD) (
+  IN OUT  VOID        *HashContext,
+  IN      CONST VOID  *Data,
+  IN      UINTN       DataSize
+  );
+
+/**
+  Completes computation of the hash digest value.
+
+  @param[in, out]  HashContext  Pointer to the hash context.
+  @param[out]      HashValue    Pointer to a buffer that receives the hash digest
+                                value.
+
+  @retval TRUE   Hash digest computation succeeded.
+  @retval FALSE  Hash digest computation failed.
+  @retval FALSE  This interface is not supported.
+
+**/
+typedef
+BOOLEAN
+(EFIAPI *HASH_FINAL_METHOD) (
+  IN OUT  VOID   *HashContext,
+  OUT     UINT8  *HashValue
+  );
+
+typedef struct {
+  UINTN               HashSize;
+  HASH_INIT_METHOD    HashInit;
+  HASH_UPDATE_METHOD  HashUpdate;
+  HASH_FINAL_METHOD   HashFinal;
+  HASH_ALL_METHOD     HashAll;
+} HASH_ALG_INFO;
+
+#endif //__FV_REPORT_PEI_H__
+
diff --git a/SecurityPkg/FvReportPei/FvReportPei.inf b/SecurityPkg/FvReportPei/FvReportPei.inf
new file mode 100644
index 0000000000..2f1188509b
--- /dev/null
+++ b/SecurityPkg/FvReportPei/FvReportPei.inf
@@ -0,0 +1,57 @@
+## @file
+# FV Report/Verify PEI Driver.
+#
+# Copyright (c) 2019, Intel Corporation. All rights reserved.<BR>
+# SPDX-License-Identifier: BSD-2-Clause-Patent
+#
+##
+
+[Defines]
+  INF_VERSION                    = 0x00010005
+  BASE_NAME                      = FvReportPei
+  MODULE_UNI_FILE                = FvReportPei.uni
+  FILE_GUID                      = 72405B40-38DA-4ABA-9283-CA8321C23E63
+  MODULE_TYPE                    = PEIM
+  VERSION_STRING                 = 1.0
+  ENTRY_POINT                    = FvReportEntryPoint
+
+#
+# The following information is for reference only and not required by the build tools.
+#
+#  VALID_ARCHITECTURES           = IA32 X64
+#
+
+[Sources]
+  FvReportPei.c
+
+[Packages]
+  MdePkg/MdePkg.dec
+  MdeModulePkg/MdeModulePkg.dec
+  CryptoPkg/CryptoPkg.dec
+  SecurityPkg/SecurityPkg.dec
+
+[LibraryClasses]
+  PeimEntryPoint
+  PeiServicesLib
+  BaseLib
+  DebugLib
+  BaseMemoryLib
+  PcdLib
+  HobLib
+  MemoryAllocationLib
+  BaseCryptLib
+  ReportStatusCodeLib
+
+[Ppis]
+  gEdkiiPeiFirmwareVolumeInfoPrehashedFvPpiGuid   ## PRODUCES
+  gEdkiiPeiFirmwareVolumeInfoStoredHashFvPpiGuid  ## CONSUMES
+
+[Pcd]
+  gEfiSecurityPkgTokenSpaceGuid.PcdStatusCodeFvVerificationPass
+  gEfiSecurityPkgTokenSpaceGuid.PcdStatusCodeFvVerificationFail
+
+[Depex]
+  gEdkiiPeiFirmwareVolumeInfoStoredHashFvPpiGuid AND gEfiPeiMemoryDiscoveredPpiGuid
+
+[UserExtensions.TianoCore."ExtraFiles"]
+  FvReportPeiPeiExtra.uni
diff --git a/SecurityPkg/FvReportPei/FvReportPei.uni b/SecurityPkg/FvReportPei/FvReportPei.uni
new file mode 100644
index 0000000000..bad43403c4
--- /dev/null
+++ b/SecurityPkg/FvReportPei/FvReportPei.uni
@@ -0,0 +1,14 @@
+// /** @file
+// FV Verify/Report PEI Driver.
+//
+// Copyright (c) 2019, Intel Corporation. All rights reserved.<BR>
+// SPDX-License-Identifier: BSD-2-Clause-Patent
+//
+// **/
+
+
+#string STR_MODULE_ABSTRACT             #language en-US "This module verifies and reports FVs."
+
+#string STR_MODULE_DESCRIPTION          #language en-US "This module verifies FVs' digest passed through gEdkiiPeiFirmwareVolumeInfoStoredHashFvPpiGuid, "
+                                                        "and installs gEdkiiPeiFirmwareVolumeInfoPrehashedFvPpiGuid, gEfiPeiFirmwareVolumeInfoPpiGuid and/or FV HOB if passed."
+
diff --git a/SecurityPkg/FvReportPei/FvReportPeiPeiExtra.uni b/SecurityPkg/FvReportPei/FvReportPeiPeiExtra.uni
new file mode 100644
index 0000000000..6214bbdaa9
--- /dev/null
+++ b/SecurityPkg/FvReportPei/FvReportPeiPeiExtra.uni
@@ -0,0 +1,12 @@
+// /** @file
+// FV Verify/Report PEI Driver.
+//
+// Copyright (c) 2019, Intel Corporation. All rights reserved.<BR>
+// SPDX-License-Identifier: BSD-2-Clause-Patent
+//
+// **/
+
+#string STR_PROPERTIES_MODULE_NAME
+#language en-US "FV Verify/Report PEI Driver"
+
+
-- 
2.17.1.windows.2