| Vishal Bhoj | 82c8071 | 2015-12-15 21:13:33 +0530 | [diff] [blame^] | 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
|