1## @file
2# Decide whether the firmware should expose an ACPI- and/or a Device Tree-based
3# hardware description to the operating system.
4#
5# Copyright (c) 2017, Red Hat, Inc.
6#
7# SPDX-License-Identifier: BSD-2-Clause-Patent
8##
9
10[Defines]
11  INF_VERSION                    = 1.25
12  BASE_NAME                      = PlatformHasAcpiDtDxe
13  FILE_GUID                      = 9d1dd27f-6d7f-427b-aec4-b62f6279c2f1
14  MODULE_TYPE                    = DXE_DRIVER
15  VERSION_STRING                 = 1.0
16  ENTRY_POINT                    = PlatformHasAcpiDt
17
18[Sources]
19  PlatformHasAcpiDtDxe.c
20
21[Packages]
22  ArmVirtPkg/ArmVirtPkg.dec
23  EmbeddedPkg/EmbeddedPkg.dec
24  MdeModulePkg/MdeModulePkg.dec
25  MdePkg/MdePkg.dec
26  OvmfPkg/OvmfPkg.dec
27
28[LibraryClasses]
29  BaseLib
30  DebugLib
31  PcdLib
32  QemuFwCfgLib
33  UefiBootServicesTableLib
34  UefiDriverEntryPoint
35
36[Guids]
37  gEdkiiPlatformHasAcpiGuid       ## SOMETIMES_PRODUCES ## PROTOCOL
38  gEdkiiPlatformHasDeviceTreeGuid ## SOMETIMES_PRODUCES ## PROTOCOL
39
40[Pcd]
41  gArmVirtTokenSpaceGuid.PcdForceNoAcpi
42
43[Depex]
44  gEfiVariableArchProtocolGuid
45