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
  20   ENTRY_POINT                    = GenericWatchdogEntry
  21
  22 [Sources.common]
  23   GenericWatchdogDxe.c
  24
  25 [Packages]
  26   MdePkg/MdePkg.dec
  27   EmbeddedPkg/EmbeddedPkg.dec
  28   ArmPkg/ArmPkg.dec
  29   ArmPlatformPkg/ArmPlatformPkg.dec
  30
  31 [LibraryClasses]
  32   ArmGenericTimerCounterLib
  33   BaseLib
  34   BaseMemoryLib
  35   DebugLib
  36   IoLib
  37   PcdLib
  38   UefiLib
  39   UefiBootServicesTableLib
  40   UefiDriverEntryPoint
  41   UefiRuntimeServicesTableLib
  42
  43 [Pcd.common]
  44   gArmTokenSpaceGuid.PcdGenericWatchdogControlBase
  45   gArmTokenSpaceGuid.PcdGenericWatchdogRefreshBase
  46   gArmTokenSpaceGuid.PcdGenericWatchdogEl2IntrNum
  47
  48 [Protocols]
  49   gEfiWatchdogTimerArchProtocolGuid
  50   gHardwareInterrupt2ProtocolGuid
  51
  52 [Depex]
  53   gHardwareInterrupt2ProtocolGuid