HpetTimerDxe.inf 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758
  1. ## @file
  2. # Timer Architectural Protocol module using High Precision Event Timer (HPET).
  3. #
  4. # Copyright (c) 2011 - 2018, Intel Corporation. All rights reserved.<BR>
  5. # SPDX-License-Identifier: BSD-2-Clause-Patent
  6. #
  7. ##
  8. [Defines]
  9. INF_VERSION = 0x00010005
  10. BASE_NAME = HpetTimerDxe
  11. MODULE_UNI_FILE = HpetTimerDxe.uni
  12. FILE_GUID = 6CE6B0DE-781C-4f6c-B42D-98346C614BEC
  13. MODULE_TYPE = DXE_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = TimerDriverInitialize
  16. #
  17. # The following information is for reference only and not required by the build tools.
  18. #
  19. # VALID_ARCHITECTURES = IA32 X64 EBC
  20. #
  21. #
  22. [Sources]
  23. HpetTimer.c
  24. [Packages]
  25. MdePkg/MdePkg.dec
  26. UefiCpuPkg/UefiCpuPkg.dec
  27. PcAtChipsetPkg/PcAtChipsetPkg.dec
  28. [LibraryClasses]
  29. PcdLib
  30. IoLib
  31. DebugLib
  32. UefiDriverEntryPoint
  33. UefiBootServicesTableLib
  34. BaseLib
  35. LocalApicLib
  36. IoApicLib
  37. [Protocols]
  38. gEfiTimerArchProtocolGuid ## PRODUCES
  39. gEfiCpuArchProtocolGuid ## CONSUMES
  40. [FeaturePcd]
  41. gPcAtChipsetPkgTokenSpaceGuid.PcdHpetMsiEnable ## CONSUMES
  42. [Pcd]
  43. gPcAtChipsetPkgTokenSpaceGuid.PcdHpetBaseAddress ## CONSUMES
  44. gPcAtChipsetPkgTokenSpaceGuid.PcdHpetLocalApicVector ## CONSUMES
  45. gPcAtChipsetPkgTokenSpaceGuid.PcdHpetDefaultTimerPeriod ## CONSUMES
  46. [Depex]
  47. gEfiCpuArchProtocolGuid
  48. [UserExtensions.TianoCore."ExtraFiles"]
  49. HpetTimerDxeExtra.uni