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) 2021, Arm Limited. All rights reserved.<BR>
7 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x0001001B
12 BASE_NAME = CloudHvPlatformHasAcpiDtDxe
13 FILE_GUID = 71fe72f9-6dc1-199d-5054-13b4200ee88d
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = PlatformHasAcpiDt
22 ArmVirtPkg/ArmVirtPkg.dec
23 EmbeddedPkg/EmbeddedPkg.dec
24 MdeModulePkg/MdeModulePkg.dec
31 UefiBootServicesTableLib
35 gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL
36 gEdkiiPlatformHasDeviceTreeGuid ## SOMETIMES_PRODUCES ## PROTOCOL
39 gArmVirtTokenSpaceGuid.PcdForceNoAcpi
42 gEfiVariableArchProtocolGuid