2 # OVMF ACPI Platform Driver
4 # Copyright (c) 2008 - 2018, Intel Corporation. All rights reserved.<BR>
5 # SPDX-License-Identifier: BSD-2-Clause-Patent
10 INF_VERSION = 0x00010005
11 BASE_NAME = AcpiPlatform
12 FILE_GUID = 49970331-E3FA-4637-9ABC-3B7868676970
13 MODULE_TYPE = DXE_DRIVER
15 ENTRY_POINT = AcpiPlatformEntryPoint
18 # The following information is for reference only and not required by the build tools.
20 # VALID_ARCHITECTURES = IA32 X64 EBC
36 MdeModulePkg/MdeModulePkg.dec
38 UefiCpuPkg/UefiCpuPkg.dec
39 PcAtChipsetPkg/PcAtChipsetPkg.dec
46 UefiBootServicesTableLib
57 gEfiAcpiTableProtocolGuid # PROTOCOL ALWAYS_CONSUMED
58 gEfiFirmwareVolume2ProtocolGuid # PROTOCOL SOMETIMES_CONSUMED
59 gEfiPciIoProtocolGuid # PROTOCOL SOMETIMES_CONSUMED
63 gRootBridgesConnectedEventGroupGuid
66 gEfiMdeModulePkgTokenSpaceGuid.PcdAcpiTableStorageFile
67 gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration
68 gUefiCpuPkgTokenSpaceGuid.PcdCpuLocalApicBaseAddress
69 gPcAtChipsetPkgTokenSpaceGuid.Pcd8259LegacyModeEdgeLevel
70 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfFdBaseAddress
73 gEfiAcpiTableProtocolGuid