OvmfPkg/Library/AcpiTimerLib/DxeAcpiTimerLib.inf

   1 ## @file
   2 #  DXE ACPI Timer Library Instance.
   3 #
   4 #  Copyright (C) 2014, Gabriel L. Somlo <somlo@cmu.edu>
   5 #  Copyright (c) 2008 - 2010, Intel Corporation. All rights reserved.
   6 #
   7 #  SPDX-License-Identifier: BSD-2-Clause-Patent
   8 #
   9 ##
  10
  11 [Defines]
  12   INF_VERSION    = 0x00010005
  13   BASE_NAME      = DxeAcpiTimerLib
  14   FILE_GUID      = 52DECA02-2EE8-4EAA-8EAD-1AB83F8A5955
  15   MODULE_TYPE    = BASE
  16   VERSION_STRING = 1.0
  17   LIBRARY_CLASS  = TimerLib|DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER UEFI_DRIVER UEFI_APPLICATION SMM_CORE
  18   CONSTRUCTOR    = AcpiTimerLibConstructor
  19
  20 [Sources]
  21   AcpiTimerLib.c
  22   AcpiTimerLib.h
  23   DxeAcpiTimerLib.c
  24
  25 [Packages]
  26   MdePkg/MdePkg.dec
  27   OvmfPkg/OvmfPkg.dec
  28
  29 [Pcd]
  30   gUefiOvmfPkgTokenSpaceGuid.PcdOvmfHostBridgePciDevId
  31
  32 [LibraryClasses]
  33   BaseLib
  34   PciLib
  35   IoLib