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 #  This program and the accompanying materials are licensed and made
   8 #  available under the terms and conditions of the BSD License which
   9 #  accompanies this distribution.   The full text of the license may
  10 #  be found at http://opensource.org/licenses/bsd-license.php
  11 #
  12 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  13 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  14 #
  15 ##
  16
  17 [Defines]
  18   INF_VERSION    = 0x00010005
  19   BASE_NAME      = DxeAcpiTimerLib
  20   FILE_GUID      = 52DECA02-2EE8-4EAA-8EAD-1AB83F8A5955
  21   MODULE_TYPE    = BASE
  22   VERSION_STRING = 1.0
  23   LIBRARY_CLASS  = TimerLib|DXE_DRIVER DXE_RUNTIME_DRIVER DXE_SMM_DRIVER UEFI_DRIVER UEFI_APPLICATION SMM_CORE
  24   CONSTRUCTOR    = AcpiTimerLibConstructor
  25
  26 [Sources]
  27   AcpiTimerLib.c
  28   DxeAcpiTimerLib.c
  29
  30 [Packages]
  31   MdePkg/MdePkg.dec
  32   OvmfPkg/OvmfPkg.dec
  33
  34 [Pcd]
  35   gUefiOvmfPkgTokenSpaceGuid.PcdOvmfHostBridgePciDevId
  36
  37 [LibraryClasses]
  38   BaseLib
  39   PciLib
  40   IoLib