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 # This program and the accompanying materials are licensed and made available
8 # under the terms and conditions of the BSD License which accompanies this
9 # distribution. The full text of the license may be found at
10 # http://opensource.org/licenses/bsd-license.php
12 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT
13 # WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
18 BASE_NAME = PlatformHasAcpiDtDxe
19 FILE_GUID = 9d1dd27f-6d7f-427b-aec4-b62f6279c2f1
20 MODULE_TYPE = DXE_DRIVER
22 ENTRY_POINT = PlatformHasAcpiDt
25 PlatformHasAcpiDtDxe.c
28 ArmVirtPkg/ArmVirtPkg.dec
29 EmbeddedPkg/EmbeddedPkg.dec
30 MdeModulePkg/MdeModulePkg.dec
39 UefiBootServicesTableLib
43 gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL
44 gEdkiiPlatformHasDeviceTreeGuid ## SOMETIMES_PRODUCES ## PROTOCOL
47 gArmVirtTokenSpaceGuid.PcdForceNoAcpi
50 gEfiVariableArchProtocolGuid