2 # Timer Architectural Protocol module using High Precesion Event Timer (HPET).
4 # Copyright (c) 2011 - 2015, Intel Corporation. All rights reserved.<BR>
5 # This program and the accompanying materials
6 # are licensed and made available under the terms and conditions of the BSD License
7 # which accompanies this distribution. The full text of the license may be found at
8 # http://opensource.org/licenses/bsd-license.php
10 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
16 INF_VERSION = 0x00010005
17 BASE_NAME = HpetTimerDxe
18 MODULE_UNI_FILE = HpetTimerDxe.uni
19 FILE_GUID = 6CE6B0DE-781C-4f6c-B42D-98346C614BEC
20 MODULE_TYPE = DXE_DRIVER
22 ENTRY_POINT = TimerDriverInitialize
25 # The following information is for reference only and not required by the build tools.
27 # VALID_ARCHITECTURES = IA32 X64 IPF EBC
36 UefiCpuPkg/UefiCpuPkg.dec
37 PcAtChipsetPkg/PcAtChipsetPkg.dec
44 UefiBootServicesTableLib
50 gEfiTimerArchProtocolGuid ## PRODUCES
51 gEfiCpuArchProtocolGuid ## CONSUMES
54 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetMsiEnable ## CONSUMES
57 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetBaseAddress ## CONSUMES
58 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetLocalApicVector ## CONSUMES
59 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetDefaultTimerPeriod ## CONSUMES
62 gEfiCpuArchProtocolGuid
63 [UserExtensions.TianoCore."ExtraFiles"]