3 # Component description file for Timer DXE module
5 # Copyright (c) 2009 - 2010, Apple Inc. All rights reserved.<BR>
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = ArmTimerDxe
13 FILE_GUID = 49ea041e-6752-42ca-b0b1-7344fe2546b7
14 MODULE_TYPE = DXE_DRIVER
17 ENTRY_POINT = TimerInitialize
24 EmbeddedPkg/EmbeddedPkg.dec
26 ArmPlatformPkg/ArmPlatformPkg.dec
31 UefiRuntimeServicesTableLib
33 UefiBootServicesTableLib
38 ArmGenericTimerCounterLib
43 gEfiTimerArchProtocolGuid
44 gHardwareInterruptProtocolGuid
47 gEmbeddedTokenSpaceGuid.PcdTimerPeriod
48 gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
49 gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
50 gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum
51 gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum
54 gHardwareInterruptProtocolGuid