1 # 2 # Copyright (c) 2013-2014, 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 gHardwareInterruptProtocolGuid 51 52 [Depex] 53 gHardwareInterruptProtocolGuid 54