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