blob: f39dc0bc9571f12dd9b070cabad537b2ba91927e [file] [log] [blame]
Vishal Bhoj82c80712015-12-15 21:13:33 +05301## @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