ArmVirtPkg/PlatformHasAcpiDtDxe/PlatformHasAcpiDtDxe.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                      = 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