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
38