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 41