ArmPlatformPkg/Drivers/SP805WatchdogDxe/SP805WatchdogDxe.inf

   1 /** @file
   2 *
   3 *  Copyright (c) 2011-2012, ARM Limited. All rights reserved.
   4 *  Copyright (c) 2018, Linaro Limited. All rights reserved.
   5 *
   6 *  SPDX-License-Identifier: BSD-2-Clause-Patent
   7 *
   8 **/
   9
  10 [Defines]
  11   INF_VERSION                    = 0x00010005
  12   BASE_NAME                      = SP805WatchdogDxe
  13   FILE_GUID                      = ebd705fb-fa92-46a7-b32b-7f566d944614
  14   MODULE_TYPE                    = DXE_DRIVER
  15   VERSION_STRING                 = 1.0
  16   ENTRY_POINT                    = SP805Initialize
  17
  18 [Sources.common]
  19   SP805Watchdog.c
  20
  21 [Packages]
  22   ArmPkg/ArmPkg.dec
  23   ArmPlatformPkg/ArmPlatformPkg.dec
  24   EmbeddedPkg/EmbeddedPkg.dec
  25   MdePkg/MdePkg.dec
  26
  27 [LibraryClasses]
  28   BaseLib
  29   DebugLib
  30   IoLib
  31   UefiBootServicesTableLib
  32   UefiDriverEntryPoint
  33   UefiRuntimeServicesTableLib
  34
  35 [Pcd]
  36   gArmPlatformTokenSpaceGuid.PcdSP805WatchdogBase
  37   gArmPlatformTokenSpaceGuid.PcdSP805WatchdogClockFrequencyInHz
  38   gArmPlatformTokenSpaceGuid.PcdSP805WatchdogInterrupt
  39
  40 [Protocols]
  41   gHardwareInterruptProtocolGuid          ## ALWAYS_CONSUMES
  42   gEfiWatchdogTimerArchProtocolGuid       ## ALWAYS_PRODUCES
  43
  44 [Depex]
  45   gHardwareInterruptProtocolGuid