PerformancePkg/PerformancePkg.dec

   1 ## @file
   2 # Build description file to generate Shell DP application and
   3 # Performance Libraries.
   4 #
   5 # Copyright (c) 2009 - 2011, Intel Corporation. All rights reserved.<BR>
   6 # This program and the accompanying materials
   7 # are licensed and made available under the terms and conditions of the BSD License
   8 # which accompanies this distribution.  The full text of the license may be found at
   9 # http://opensource.org/licenses/bsd-license.php
  10 #
  11 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13 #
  14 ##
  15
  16 [Defines]
  17   PACKAGE_NAME                   = PerformancePkg
  18   PACKAGE_GUID                   = ce898697-b945-46e2-a26e-5752af565185
  19   PACKAGE_VERSION                = 0.2
  20   DEC_SPECIFICATION              = 0x00010005
  21
  22 [Includes]
  23   Include
  24
  25 [Guids]
  26   ## Performance Package token space guid
  27   # Include/Guid/PerformancePkgTokenSpace.h
  28   # 669346ef-fdad-4aeb-a608-7def3f2d4621
  29   gPerformancePkgTokenSpaceGuid       = { 0x669346ef, 0xFDad, 0x4aeb, { 0x08, 0xa6, 0x21, 0x46, 0x2d, 0x3f, 0xef, 0x7d }}
  30
  31   ## Include/Guid/TscFrequency.h
  32   gEfiTscFrequencyGuid                = { 0xdba6a7e3, 0xbb57, 0x4be7, { 0x8a, 0xf8, 0xd5, 0x78, 0xdb, 0x7e, 0x56, 0x87 }}
  33
  34 [PcdsFixedAtBuild]
  35   ##  The base address of the ACPI registers within the ICH PCI space.
  36   #   This space must be 128-byte aligned.
  37   gPerformancePkgTokenSpaceGuid.PcdPerfPkgAcpiIoPortBaseAddress|0x400|UINT16|1