## @file | |
# Decide whether the firmware should expose an ACPI- and/or a Device Tree-based | |
# hardware description to the operating system. | |
# | |
# Copyright (c) 2017, Red Hat, Inc. | |
# | |
# SPDX-License-Identifier: BSD-2-Clause-Patent | |
## | |
[Defines] | |
INF_VERSION = 1.25 | |
BASE_NAME = XenPlatformHasAcpiDtDxe | |
FILE_GUID = 6914c46f-d46e-48dc-9998-8a5f64f02553 | |
MODULE_TYPE = DXE_DRIVER | |
VERSION_STRING = 1.0 | |
ENTRY_POINT = XenPlatformHasAcpiDt | |
[Sources] | |
XenPlatformHasAcpiDtDxe.c | |
[Packages] | |
EmbeddedPkg/EmbeddedPkg.dec | |
MdeModulePkg/MdeModulePkg.dec | |
MdePkg/MdePkg.dec | |
[LibraryClasses] | |
BaseLib | |
DebugLib | |
UefiBootServicesTableLib | |
UefiDriverEntryPoint | |
[Guids] | |
gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL | |
gEdkiiPlatformHasDeviceTreeGuid ## PRODUCES ## PROTOCOL | |
[Depex] | |
TRUE |