2 # Intel ICH9 Acpi Timer Instance
4 # ICH9 Acpi timer implements one instance of Timer Library. Acpi timer cannot be programmed,
5 # so it could be used by any types of drivers, including SMM drivers and Runtime drivers.
6 # Copyright (c) 2007 - 2014, Intel Corporation. All rights reserved.<BR>
8 # This program and the accompanying materials are licensed and made available under
9 # the terms and conditions of the BSD License that accompanies this distribution.
10 # The full text of the license may be found at
11 # http://opensource.org/licenses/bsd-license.php.
13 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
14 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
22 INF_VERSION = 0x00010005
23 BASE_NAME = IntelPchAcpiTimerLib
24 FILE_GUID = 0C0AC8C1-E368-4d20-85FE-23EFB3DB094E
27 LIBRARY_CLASS = TimerLib
28 EDK_RELEASE_VERSION = 0x00020000
29 EFI_SPECIFICATION_VERSION = 0x00020000
31 CONSTRUCTOR = IntelPchAcpiTimerLibConstructor
34 # The following information is for reference only and not required by the build tools.
36 # VALID_ARCHITECTURES = IA32 X64 IPF EBC
40 IntelPchAcpiTimerLib.c
45 Vlv2DeviceRefCodePkg/Vlv2DeviceRefCodePkg.dec
46 Vlv2TbltDevicePkg/PlatformPkg.dec
55 gEfiPchTokenSpaceGuid.PcdPchAcpiIoPortBaseAddress
56 gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress