ArmPkg/Drivers/GenericWatchdogDxe/GenericWatchdogDxe.inf

   1 #
   2 #  Copyright (c) 2013-2017, ARM Limited. All rights reserved.
   3 #
   4 #  This program and the accompanying materials
   5 #  are licensed and made available under the terms and conditions of the BSD License
   6 #  which accompanies this distribution.  The full text of the license may be found at
   7 #  http://opensource.org/licenses/bsd-license.php
   8 #
   9 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11 #
  12
  13 [Defines]
  14   INF_VERSION                    = 0x00010016
  15   BASE_NAME                      = GenericWatchdogDxe
  16   FILE_GUID                      = 0619f5c2-4858-4caa-a86a-73a21a18df6b
  17   MODULE_TYPE                    = DXE_DRIVER
  18   VERSION_STRING                 = 1.0
  19   ENTRY_POINT                    = GenericWatchdogEntry
  20
  21 [Sources.common]
  22   GenericWatchdogDxe.c
  23
  24 [Packages]
  25   ArmPkg/ArmPkg.dec
  26   ArmPlatformPkg/ArmPlatformPkg.dec
  27   EmbeddedPkg/EmbeddedPkg.dec
  28   MdePkg/MdePkg.dec
  29
  30 [LibraryClasses]
  31   ArmGenericTimerCounterLib
  32   BaseLib
  33   BaseMemoryLib
  34   DebugLib
  35   IoLib
  36   PcdLib
  37   UefiLib
  38   UefiBootServicesTableLib
  39   UefiDriverEntryPoint
  40   UefiRuntimeServicesTableLib
  41
  42 [Pcd.common]
  43   gArmTokenSpaceGuid.PcdGenericWatchdogControlBase
  44   gArmTokenSpaceGuid.PcdGenericWatchdogRefreshBase
  45   gArmTokenSpaceGuid.PcdGenericWatchdogEl2IntrNum
  46
  47 [Protocols]
  48   gEfiWatchdogTimerArchProtocolGuid       ## ALWAYS_PRODUCES
  49   gHardwareInterrupt2ProtocolGuid         ## ALWAYS_CONSUMES
  50
  51 [Depex]
  52   gHardwareInterrupt2ProtocolGuid