LocalApicTimerDxe.inf 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. ## @file
  2. # Local APIC timer driver that provides Timer Arch protocol.
  3. # PcdFSBClock is defined in MdePkg and it should be set by the consumer.
  4. #
  5. # Copyright (c) 2005 - 2019, Intel Corporation. All rights reserved.<BR>
  6. # Copyright (c) 2019, Citrix Systems, Inc.
  7. #
  8. # SPDX-License-Identifier: BSD-2-Clause-Patent
  9. #
  10. ##
  11. [Defines]
  12. INF_VERSION = 0x00010005
  13. BASE_NAME = LocalApicTimerDxe
  14. FILE_GUID = 52fe8196-f9de-4d07-b22f-51f77a0e7c41
  15. MODULE_TYPE = DXE_DRIVER
  16. VERSION_STRING = 1.0
  17. ENTRY_POINT = TimerDriverInitialize
  18. [Packages]
  19. MdePkg/MdePkg.dec
  20. UefiCpuPkg/UefiCpuPkg.dec
  21. OvmfPkg/OvmfPkg.dec
  22. [LibraryClasses]
  23. UefiBootServicesTableLib
  24. BaseLib
  25. DebugLib
  26. UefiDriverEntryPoint
  27. LocalApicLib
  28. [Sources]
  29. LocalApicTimerDxe.h
  30. LocalApicTimerDxe.c
  31. [Protocols]
  32. gEfiCpuArchProtocolGuid ## CONSUMES
  33. gEfiTimerArchProtocolGuid ## PRODUCES
  34. [Pcd]
  35. gEfiMdePkgTokenSpaceGuid.PcdFSBClock ## CONSUMES
  36. [Depex]
  37. gEfiCpuArchProtocolGuid