3 # Copyright (c) 2011 - 2020, Arm Limited. All rights reserved.<BR>
4 # Copyright (c) 2018, Linaro Limited. All rights reserved.
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = SP805WatchdogDxe
13 FILE_GUID = ebd705fb-fa92-46a7-b32b-7f566d944614
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = SP805Initialize
24 ArmPlatformPkg/ArmPlatformPkg.dec
25 EmbeddedPkg/EmbeddedPkg.dec
32 UefiBootServicesTableLib
34 UefiRuntimeServicesTableLib
37 gArmPlatformTokenSpaceGuid.PcdSP805WatchdogBase
38 gArmPlatformTokenSpaceGuid.PcdSP805WatchdogClockFrequencyInHz
39 gArmPlatformTokenSpaceGuid.PcdSP805WatchdogInterrupt
42 gHardwareInterruptProtocolGuid ## ALWAYS_CONSUMES
43 gEfiWatchdogTimerArchProtocolGuid ## ALWAYS_PRODUCES
46 gHardwareInterruptProtocolGuid