##  @file  FrmPkg.dec
#
# Copyright (c) 2015, Intel Corporation. All rights reserved.<BR>
# This program and the accompanying materials
# are licensed and made available under the terms and conditions of the BSD License
# which accompanies this distribution.  The full text of the license may be found at
# http://opensource.org/licenses/bsd-license.php.
#
# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
#
##

[Defines]
  DEC_SPECIFICATION              = 0x00010005
  PACKAGE_NAME                   = FrmPkg
  PACKAGE_GUID                   = E15D5FE9-93CF-4e69-97C0-20AA5E6576CA
  PACKAGE_VERSION                = 0.1

[Includes]
  Include
  Library

[Includes.IA32]
  Include/Ia32

[Includes.X64]
  Include/x64

[Guids]
  gEfiFrmTokenSpaceGuid            = { 0x96c4c01, 0x68d9, 0x48ed, { 0xba, 0x3, 0xd2, 0x3e, 0x41, 0xc7, 0x67, 0xb3 } }

  ## Security package token space guid.
  # Include/Guid/SecurityPkgTokenSpace.h
  gEfiSecurityPkgTokenSpaceGuid      = { 0xd3fb176, 0x9569, 0x4d51, { 0xa3, 0xef, 0x7d, 0x61, 0xc6, 0x4f, 0xea, 0xba }}

[Protocols]
  gEfiSmMonitorServiceProtocolGuid = { 0xa022f30c, 0x1f3d, 0x4cd3, { 0xbb, 0xfc, 0xcc, 0x5b, 0xef, 0xd4, 0xe8, 0xe7 } }

[PcdsPatchableInModule]
  gEfiFrmTokenSpaceGuid.PcdAcpiTimerIoPortBaseAddress|0x0000|UINT16|0x10000001
  gEfiFrmTokenSpaceGuid.PcdAcpiTimerWidth|0x0000|UINT8|0x10000002
  
  ## This PCD indicates Hash mask for TPM 2.0.<BR><BR>
  #  If this bit is set, that means this algorithm is needed to extend to PCR.<BR>
  #  If this bit is clear, that means this algorithm is NOT needed to extend to PCR.<BR>
  #    BIT0  -  SHA1.<BR>
  #    BIT1  -  SHA256.<BR>
  #    BIT2  -  SHA384.<BR>
  #    BIT3  -  SHA512.<BR>
  #    BIT4  -  SM3_256.<BR>
  # @Prompt Hash mask for TPM 2.0
  # @ValidRange 0x80000001 | 0x00000000 - 0x0000001F 
  gEfiSecurityPkgTokenSpaceGuid.PcdTpm2HashMask|0x0000001F|UINT32|0x00010010

  ## This PCD indicates TPM base address.<BR><BR>
  # @Prompt TPM device address.
  gEfiSecurityPkgTokenSpaceGuid.PcdTpmBaseAddress|0xFED40000|UINT64|0x00010012
