CpuTimerDxeRiscV64.inf 1.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  1. ## @file
  2. # Timer Arch protocol module
  3. #
  4. # Copyright (c) 2019, Hewlett Packard Enterprise Development LP. All rights reserved.<BR>
  5. #
  6. # SPDX-License-Identifier: BSD-2-Clause-Patent
  7. #
  8. ##
  9. [Defines]
  10. INF_VERSION = 0x0001001b
  11. BASE_NAME = CpuTimerDxeRiscV64
  12. MODULE_UNI_FILE = CpuTimerDxeRiscV64.uni
  13. FILE_GUID = 055DDAC6-9142-4013-BF20-FC2E5BC325C9
  14. MODULE_TYPE = DXE_DRIVER
  15. VERSION_STRING = 1.0
  16. ENTRY_POINT = TimerDriverInitialize
  17. #
  18. # The following information is for reference only and not required by the build
  19. # tools.
  20. #
  21. # VALID_ARCHITECTURES = RISCV64
  22. #
  23. [Packages]
  24. MdePkg/MdePkg.dec
  25. UefiCpuPkg/UefiCpuPkg.dec
  26. [LibraryClasses]
  27. BaseLib
  28. DebugLib
  29. IoLib
  30. CpuLib
  31. UefiBootServicesTableLib
  32. UefiDriverEntryPoint
  33. [LibraryClasses.RISCV64]
  34. RiscVSbiLib
  35. [Sources.RISCV64]
  36. Timer.h
  37. Timer.c
  38. [Protocols]
  39. gEfiCpuArchProtocolGuid ## CONSUMES
  40. gEfiTimerArchProtocolGuid ## PRODUCES
  41. [Depex]
  42. gEfiCpuArchProtocolGuid
  43. [UserExtensions.TianoCore."ExtraFiles"]
  44. CpuTimerDxeRiscV64Extra.uni