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
36