OvmfPkg/XenTimerDxe/XenTimerDxe.inf

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