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
31 MdeModulePkg/MdeModulePkg.dec
39 UefiBootServicesTableLib
44 gEfiAcpiTableProtocolGuid # PROTOCOL ALWAYS_CONSUMED
45 gEfiFirmwareVolume2ProtocolGuid # PROTOCOL SOMETIMES_CONSUMED
48 gRootBridgesConnectedEventGroupGuid
51 gEfiMdeModulePkgTokenSpaceGuid.PcdAcpiTableStorageFile
52 gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration
55 gEfiAcpiTableProtocolGuid