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