2 # OVMF ACPI Platform Driver for Xen guests
4 # Copyright (C) 2021, Red Hat, Inc.
5 # Copyright (c) 2008 - 2019, Intel Corporation. All rights reserved.<BR>
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = XenAcpiPlatform
13 FILE_GUID = fa0a48ac-767d-4c88-b70c-ec54c8b900c4
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = AcpiPlatformEntryPoint
19 # The following information is for reference only and not required by the build tools.
21 # VALID_ARCHITECTURES = IA32 X64 EBC
35 MdeModulePkg/MdeModulePkg.dec
38 UefiCpuPkg/UefiCpuPkg.dec
50 UefiBootServicesTableLib
55 gEfiAcpiTableProtocolGuid # PROTOCOL ALWAYS_CONSUMED
56 gEfiFirmwareVolume2ProtocolGuid # PROTOCOL SOMETIMES_CONSUMED
57 gEfiPciIoProtocolGuid # PROTOCOL SOMETIMES_CONSUMED
60 gRootBridgesConnectedEventGroupGuid
63 gEfiMdeModulePkgTokenSpaceGuid.PcdAcpiTableStorageFile
64 gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration
65 gUefiCpuPkgTokenSpaceGuid.PcdCpuLocalApicBaseAddress
66 gUefiOvmfPkgTokenSpaceGuid.Pcd8259LegacyModeEdgeLevel
67 gUefiOvmfPkgTokenSpaceGuid.PcdOvmfFdBaseAddress
70 gEfiAcpiTableProtocolGuid