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