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 = PlatformHasAcpiDtDxe
13 FILE_GUID = 9d1dd27f-6d7f-427b-aec4-b62f6279c2f1
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = PlatformHasAcpiDt
19 PlatformHasAcpiDtDxe.c
22 ArmVirtPkg/ArmVirtPkg.dec
23 EmbeddedPkg/EmbeddedPkg.dec
24 MdeModulePkg/MdeModulePkg.dec
33 UefiBootServicesTableLib
37 gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL
38 gEdkiiPlatformHasDeviceTreeGuid ## SOMETIMES_PRODUCES ## PROTOCOL
41 gArmVirtTokenSpaceGuid.PcdForceNoAcpi
44 gEfiVariableArchProtocolGuid