2 # Timer Architectural Protocol module using High Precision Event Timer (HPET).
4 # Copyright (c) 2011 - 2018, Intel Corporation. All rights reserved.<BR>
5 # SPDX-License-Identifier: BSD-2-Clause-Patent
10 INF_VERSION = 0x00010005
11 BASE_NAME = HpetTimerDxe
12 MODULE_UNI_FILE = HpetTimerDxe.uni
13 FILE_GUID = 6CE6B0DE-781C-4f6c-B42D-98346C614BEC
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = TimerDriverInitialize
19 # The following information is for reference only and not required by the build tools.
21 # VALID_ARCHITECTURES = IA32 X64 EBC
30 UefiCpuPkg/UefiCpuPkg.dec
31 PcAtChipsetPkg/PcAtChipsetPkg.dec
38 UefiBootServicesTableLib
44 gEfiTimerArchProtocolGuid ## PRODUCES
45 gEfiCpuArchProtocolGuid ## CONSUMES
48 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetMsiEnable ## CONSUMES
51 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetBaseAddress ## CONSUMES
52 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetLocalApicVector ## CONSUMES
53 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetDefaultTimerPeriod ## CONSUMES
56 gEfiCpuArchProtocolGuid
57 [UserExtensions.TianoCore."ExtraFiles"]