ArmVirtPkg/XenPlatformHasAcpiDtDxe/XenPlatformHasAcpiDtDxe.inf

   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                      = XenPlatformHasAcpiDtDxe
  13   FILE_GUID                      = 6914c46f-d46e-48dc-9998-8a5f64f02553
  14   MODULE_TYPE                    = DXE_DRIVER
  15   VERSION_STRING                 = 1.0
  16   ENTRY_POINT                    = XenPlatformHasAcpiDt
  17
  18 [Sources]
  19   XenPlatformHasAcpiDtDxe.c
  20
  21 [Packages]
  22   EmbeddedPkg/EmbeddedPkg.dec
  23   MdeModulePkg/MdeModulePkg.dec
  24   MdePkg/MdePkg.dec
  25
  26 [LibraryClasses]
  27   BaseLib
  28   DebugLib
  29   UefiBootServicesTableLib
  30   UefiDriverEntryPoint
  31
  32 [Guids]
  33   gEdkiiPlatformHasAcpiGuid       ## SOMETIMES_PRODUCES ## PROTOCOL
  34   gEdkiiPlatformHasDeviceTreeGuid ## PRODUCES           ## PROTOCOL
  35
  36 [Depex]
  37   TRUE