ArmPkg/Drivers/TimerDxe/TimerDxe.inf

   1 #/** @file
   2 #
   3 #    Component description file for Timer DXE module
   4 #
   5 #  Copyright (c) 2009 - 2010, Apple Inc. All rights reserved.<BR>
   6 #  SPDX-License-Identifier: BSD-2-Clause-Patent
   7 #
   8 #**/
   9
  10 [Defines]
  11   INF_VERSION                    = 0x00010005
  12   BASE_NAME                      = ArmTimerDxe
  13   FILE_GUID                      = 49ea041e-6752-42ca-b0b1-7344fe2546b7
  14   MODULE_TYPE                    = DXE_DRIVER
  15   VERSION_STRING                 = 1.0
  16
  17   ENTRY_POINT                    = TimerInitialize
  18
  19 [Sources.common]
  20   TimerDxe.c
  21
  22 [Packages]
  23   MdePkg/MdePkg.dec
  24   EmbeddedPkg/EmbeddedPkg.dec
  25   ArmPkg/ArmPkg.dec
  26   ArmPlatformPkg/ArmPlatformPkg.dec
  27
  28 [LibraryClasses]
  29   ArmLib
  30   BaseLib
  31   UefiRuntimeServicesTableLib
  32   UefiLib
  33   UefiBootServicesTableLib
  34   BaseMemoryLib
  35   DebugLib
  36   UefiDriverEntryPoint
  37   IoLib
  38   ArmGenericTimerCounterLib
  39
  40 [Guids]
  41
  42 [Protocols]
  43   gEfiTimerArchProtocolGuid
  44   gHardwareInterruptProtocolGuid
  45
  46 [Pcd.common]
  47   gEmbeddedTokenSpaceGuid.PcdTimerPeriod
  48   gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
  49   gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
  50   gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum
  51   gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum
  52
  53 [Depex]
  54   gHardwareInterruptProtocolGuid