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
