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 *  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                      = SP805WatchdogDxe
  19   FILE_GUID                      = ebd705fb-fa92-46a7-b32b-7f566d944614
  20   MODULE_TYPE                    = DXE_DRIVER
  21   VERSION_STRING                 = 1.0
  22   ENTRY_POINT                    = SP805Initialize
  23
  24 [Sources.common]
  25   SP805Watchdog.c
  26
  27 [Packages]
  28   ArmPkg/ArmPkg.dec
  29   ArmPlatformPkg/ArmPlatformPkg.dec
  30   EmbeddedPkg/EmbeddedPkg.dec
  31   MdePkg/MdePkg.dec
  32
  33 [LibraryClasses]
  34   BaseLib
  35   DebugLib
  36   IoLib
  37   UefiBootServicesTableLib
  38   UefiDriverEntryPoint
  39   UefiRuntimeServicesTableLib
  40
  41 [Pcd]
  42   gArmPlatformTokenSpaceGuid.PcdSP805WatchdogBase
  43   gArmPlatformTokenSpaceGuid.PcdSP805WatchdogClockFrequencyInHz
  44   gArmPlatformTokenSpaceGuid.PcdSP805WatchdogInterrupt
  45
  46 [Protocols]
  47   gHardwareInterruptProtocolGuid          ## ALWAYS_CONSUMES
  48   gEfiWatchdogTimerArchProtocolGuid       ## ALWAYS_PRODUCES
  49
  50 [Depex]
  51   gHardwareInterruptProtocolGuid