1#/** @file 2# 3# Copyright (c) 2011 - 2014, ARM Limited. All rights reserved.<BR> 4# This program and the accompanying materials 5# are licensed and made available under the terms and conditions of the BSD License 6# which accompanies this distribution. The full text of the license may be found at 7# http://opensource.org/licenses/bsd-license.php 8# 9# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 10# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 11# 12#**/ 13 14[Defines] 15 INF_VERSION = 0x00010005 16 BASE_NAME = ArmArchTimerLib 17 FILE_GUID = 82da1b44-d2d6-4a7d-bbf0-a0cb67964034 18 MODULE_TYPE = BASE 19 VERSION_STRING = 1.0 20 LIBRARY_CLASS = TimerLib 21 CONSTRUCTOR = TimerConstructor 22 23[Sources.common] 24 ArmArchTimerLib.c 25 26[Packages] 27 MdePkg/MdePkg.dec 28 EmbeddedPkg/EmbeddedPkg.dec 29 ArmPkg/ArmPkg.dec 30 31[LibraryClasses] 32 DebugLib 33 ArmLib 34 BaseLib 35 ArmGenericTimerCounterLib 36 37[Pcd] 38 gArmTokenSpaceGuid.PcdArmArchTimerFreqInHz 39