SP805WatchdogDxe.inf 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445
  1. /** @file
  2. *
  3. * Copyright (c) 2011-2012, ARM Limited. All rights reserved.
  4. * Copyright (c) 2018, Linaro Limited. All rights reserved.
  5. *
  6. * SPDX-License-Identifier: BSD-2-Clause-Patent
  7. *
  8. **/
  9. [Defines]
  10. INF_VERSION = 0x00010005
  11. BASE_NAME = SP805WatchdogDxe
  12. FILE_GUID = ebd705fb-fa92-46a7-b32b-7f566d944614
  13. MODULE_TYPE = DXE_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = SP805Initialize
  16. [Sources.common]
  17. SP805Watchdog.c
  18. [Packages]
  19. ArmPkg/ArmPkg.dec
  20. ArmPlatformPkg/ArmPlatformPkg.dec
  21. EmbeddedPkg/EmbeddedPkg.dec
  22. MdePkg/MdePkg.dec
  23. [LibraryClasses]
  24. BaseLib
  25. DebugLib
  26. IoLib
  27. UefiBootServicesTableLib
  28. UefiDriverEntryPoint
  29. UefiRuntimeServicesTableLib
  30. [Pcd]
  31. gArmPlatformTokenSpaceGuid.PcdSP805WatchdogBase
  32. gArmPlatformTokenSpaceGuid.PcdSP805WatchdogClockFrequencyInHz
  33. gArmPlatformTokenSpaceGuid.PcdSP805WatchdogInterrupt
  34. [Protocols]
  35. gHardwareInterruptProtocolGuid ## ALWAYS_CONSUMES
  36. gEfiWatchdogTimerArchProtocolGuid ## ALWAYS_PRODUCES
  37. [Depex]
  38. gHardwareInterruptProtocolGuid