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 # This program and the accompanying materials are licensed and made available
   8 # under the terms and conditions of the BSD License which accompanies this
   9 # distribution.  The full text of the license may be found at
  10 # http://opensource.org/licenses/bsd-license.php
  11 #
  12 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT
  13 # WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  14 ##
  15
  16 [Defines]
  17   INF_VERSION                    = 1.25
  18   BASE_NAME                      = XenPlatformHasAcpiDtDxe
  19   FILE_GUID                      = 6914c46f-d46e-48dc-9998-8a5f64f02553
  20   MODULE_TYPE                    = DXE_DRIVER
  21   VERSION_STRING                 = 1.0
  22   ENTRY_POINT                    = XenPlatformHasAcpiDt
  23
  24 [Sources]
  25   XenPlatformHasAcpiDtDxe.c
  26
  27 [Packages]
  28   EmbeddedPkg/EmbeddedPkg.dec
  29   MdePkg/MdePkg.dec
  30
  31 [LibraryClasses]
  32   BaseLib
  33   DebugLib
  34   UefiBootServicesTableLib
  35   UefiDriverEntryPoint
  36
  37 [Guids]
  38   gEdkiiPlatformHasAcpiGuid       ## SOMETIMES_PRODUCES ## PROTOCOL
  39   gEdkiiPlatformHasDeviceTreeGuid ## PRODUCES           ## PROTOCOL
  40
  41 [Depex]
  42   TRUE