3 # Copyright (c) 2011 - 2014, ARM Limited. All rights reserved.<BR>
4 # SPDX-License-Identifier: BSD-2-Clause-Patent
9 INF_VERSION = 0x00010005
10 BASE_NAME = ArmArchTimerLib
11 FILE_GUID = 82da1b44-d2d6-4a7d-bbf0-a0cb67964034
14 LIBRARY_CLASS = TimerLib
15 CONSTRUCTOR = TimerConstructor
22 EmbeddedPkg/EmbeddedPkg.dec
29 ArmGenericTimerCounterLib
32 gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz