## @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. | |
# | |
# This program and the accompanying materials are licensed and made available | |
# under the terms and conditions of the BSD License which accompanies this | |
# distribution. The full text of the license may be found at | |
# http://opensource.org/licenses/bsd-license.php | |
# | |
# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT | |
# WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. | |
## | |
[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 |