1#/** @file
2#
3#    Component description file for Timer DXE module
4#
5#  Copyright (c) 2009 - 2010, Apple Inc. All rights reserved.<BR>
6#  This program and the accompanying materials
7#  are licensed and made available under the terms and conditions of the BSD License
8#  which accompanies this distribution.  The full text of the license may be found at
9#  http://opensource.org/licenses/bsd-license.php
10#
11#  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12#  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13#
14#**/
15
16[Defines]
17  INF_VERSION                    = 0x00010005
18  BASE_NAME                      = ArmTimerDxe
19  FILE_GUID                      = 49ea041e-6752-42ca-b0b1-7344fe2546b7
20  MODULE_TYPE                    = DXE_DRIVER
21  VERSION_STRING                 = 1.0
22
23  ENTRY_POINT                    = TimerInitialize
24
25[Sources.common]
26  TimerDxe.c
27
28[Packages]
29  MdePkg/MdePkg.dec
30  EmbeddedPkg/EmbeddedPkg.dec
31  ArmPkg/ArmPkg.dec
32  ArmPlatformPkg/ArmPlatformPkg.dec
33
34[LibraryClasses]
35  ArmLib
36  BaseLib
37  UefiRuntimeServicesTableLib
38  UefiLib
39  UefiBootServicesTableLib
40  BaseMemoryLib
41  DebugLib
42  UefiDriverEntryPoint
43  IoLib
44  ArmGenericTimerCounterLib
45
46[Guids]
47
48[Protocols]
49  gEfiTimerArchProtocolGuid
50  gHardwareInterruptProtocolGuid
51
52[Pcd.common]
53  gEmbeddedTokenSpaceGuid.PcdTimerPeriod
54  gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
55  gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
56  gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum
57  gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum
58
59[Depex]
60  gHardwareInterruptProtocolGuid
61