2 # Decide whether the firmware should expose an ACPI- and/or a Device Tree-based
3 # hardware description to the operating system.
5 # Copyright (c) 2017, Red Hat, Inc.
7 # SPDX-License-Identifier: BSD-2-Clause-Patent
12 BASE_NAME = XenPlatformHasAcpiDtDxe
13 FILE_GUID = 6914c46f-d46e-48dc-9998-8a5f64f02553
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = XenPlatformHasAcpiDt
19 XenPlatformHasAcpiDtDxe.c
22 EmbeddedPkg/EmbeddedPkg.dec
23 MdeModulePkg/MdeModulePkg.dec
29 UefiBootServicesTableLib
33 gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL
34 gEdkiiPlatformHasDeviceTreeGuid ## PRODUCES ## PROTOCOL