ArmPkg/Drivers/GenericWatchdogDxe/GenericWatchdogDxe.inf

   1 #
   2 #  Copyright (c) 2013-2017, ARM Limited. All rights reserved.
   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   GenericWatchdogDxe.c
  17
  18 [Packages]
  19   ArmPkg/ArmPkg.dec
  20   ArmPlatformPkg/ArmPlatformPkg.dec
  21   EmbeddedPkg/EmbeddedPkg.dec
  22   MdePkg/MdePkg.dec
  23
  24 [LibraryClasses]
  25   ArmGenericTimerCounterLib
  26   BaseLib
  27   BaseMemoryLib
  28   DebugLib
  29   IoLib
  30   PcdLib
  31   UefiLib
  32   UefiBootServicesTableLib
  33   UefiDriverEntryPoint
  34   UefiRuntimeServicesTableLib
  35
  36 [Pcd.common]
  37   gArmTokenSpaceGuid.PcdGenericWatchdogControlBase
  38   gArmTokenSpaceGuid.PcdGenericWatchdogRefreshBase
  39   gArmTokenSpaceGuid.PcdGenericWatchdogEl2IntrNum
  40
  41 [Protocols]
  42   gEfiWatchdogTimerArchProtocolGuid       ## ALWAYS_PRODUCES
  43   gHardwareInterrupt2ProtocolGuid         ## ALWAYS_CONSUMES
  44
  45 [Depex]
  46   gHardwareInterrupt2ProtocolGuid