ArmPlatformPkg/Drivers/SP804TimerDxe/SP804TimerDxe.inf

   1 #/** @file
   2 #
   3 #    Component description file for Timer 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                      = ArmVeTimerDxe
  19   FILE_GUID                      = a73d663d-a491-4278-9a69-9521be3379f2
  20   MODULE_TYPE                    = DXE_DRIVER
  21   VERSION_STRING                 = 1.0
  22
  23   ENTRY_POINT                    = TimerInitialize
  24
  25 [Sources.common]
  26   SP804Timer.c
  27
  28 [Packages]
  29   MdePkg/MdePkg.dec
  30   EmbeddedPkg/EmbeddedPkg.dec
  31   ArmPkg/ArmPkg.dec
  32   ArmPlatformPkg/ArmPlatformPkg.dec
  33
  34 [LibraryClasses]
  35   BaseLib
  36   UefiRuntimeServicesTableLib
  37   UefiLib
  38   UefiBootServicesTableLib
  39   BaseMemoryLib
  40   DebugLib
  41   UefiDriverEntryPoint
  42   IoLib
  43
  44 [Guids]
  45
  46 [Protocols]
  47   gEfiTimerArchProtocolGuid
  48   gHardwareInterruptProtocolGuid
  49
  50 [Pcd.common]
  51   gArmPlatformTokenSpaceGuid.PcdSP804TimerFrequencyInMHz
  52   gArmPlatformTokenSpaceGuid.PcdSP804TimerPeriodicInterruptNum
  53   gArmPlatformTokenSpaceGuid.PcdSP804TimerPeriodicBase
  54   gArmPlatformTokenSpaceGuid.PcdSP804TimerPerformanceBase
  55   gArmPlatformTokenSpaceGuid.PcdSP804TimerMetronomeBase
  56   gEmbeddedTokenSpaceGuid.PcdTimerPeriod
  57
  58 [Depex]
  59   gHardwareInterruptProtocolGuid