ArmPkg/Drivers/GenericWatchdogDxe/GenericWatchdogDxe.inf

   1 #
   2 #  Copyright (c) 2013-2021, Arm Limited. All rights reserved.<BR>
   3 #
   4 #  SPDX-License-Identifier: BSD-2-Clause-Patent
   5 #
   6
   7 [Defines]
   8   INF_VERSION                    = 0x00010016
   9   BASE_NAME                      = GenericWatchdogDxe
  10   FILE_GUID                      = 0619f5c2-4858-4caa-a86a-73a21a18df6b
  11   MODULE_TYPE                    = DXE_DRIVER
  12   VERSION_STRING                 = 1.0
  13   ENTRY_POINT                    = GenericWatchdogEntry
  14
  15 [Sources.common]
  16   GenericWatchdog.h
  17   GenericWatchdogDxe.c
  18
  19 [Packages]
  20   ArmPkg/ArmPkg.dec
  21   ArmPlatformPkg/ArmPlatformPkg.dec
  22   EmbeddedPkg/EmbeddedPkg.dec
  23   MdePkg/MdePkg.dec
  24
  25 [LibraryClasses]
  26   ArmGenericTimerCounterLib
  27   BaseLib
  28   BaseMemoryLib
  29   DebugLib
  30   IoLib
  31   PcdLib
  32   UefiLib
  33   UefiBootServicesTableLib
  34   UefiDriverEntryPoint
  35   UefiRuntimeServicesTableLib
  36
  37 [Pcd.common]
  38   gArmTokenSpaceGuid.PcdGenericWatchdogControlBase
  39   gArmTokenSpaceGuid.PcdGenericWatchdogRefreshBase
  40   gArmTokenSpaceGuid.PcdGenericWatchdogEl2IntrNum
  41
  42 [Protocols]
  43   gEfiWatchdogTimerArchProtocolGuid       ## ALWAYS_PRODUCES
  44   gHardwareInterrupt2ProtocolGuid         ## ALWAYS_CONSUMES
  45
  46 [Depex]
  47   gHardwareInterrupt2ProtocolGuid