ArmVirtPkg/KvmtoolPlatformDxe/KvmtoolPlatformDxe.inf

   1 ## @file
   2 #  The KvmtoolPlatformDxe performs the platform specific initialization like:
   3 #  - It decides if the firmware should expose ACPI or Device Tree-based
   4 #    hardware description to the operating system.
   5 #
   6 #  Copyright (c) 2018 - 2020, ARM Limited. All rights reserved.
   7 #
   8 #  SPDX-License-Identifier: BSD-2-Clause-Patent
   9 #
  10 ##
  11
  12 [Defines]
  13   INF_VERSION                    = 0x0001001B
  14   BASE_NAME                      = KvmtoolPlatformDxe
  15   FILE_GUID                      = 7479CCCD-D721-442A-8C73-A72DBB886669
  16   MODULE_TYPE                    = DXE_DRIVER
  17   VERSION_STRING                 = 1.0
  18   ENTRY_POINT                    = KvmtoolPlatformDxeEntryPoint
  19
  20 [Sources]
  21   KvmtoolPlatformDxe.c
  22
  23 [Packages]
  24   ArmVirtPkg/ArmVirtPkg.dec
  25   EmbeddedPkg/EmbeddedPkg.dec
  26   MdePkg/MdePkg.dec
  27   MdeModulePkg/MdeModulePkg.dec
  28
  29 [LibraryClasses]
  30   BaseLib
  31   DebugLib
  32   UefiBootServicesTableLib
  33   UefiDriverEntryPoint
  34
  35 [Guids]
  36   gEdkiiPlatformHasAcpiGuid       ## SOMETIMES_PRODUCES ## PROTOCOL
  37   gEdkiiPlatformHasDeviceTreeGuid ## SOMETIMES_PRODUCES ## PROTOCOL
  38
  39 [Pcd]
  40   gArmVirtTokenSpaceGuid.PcdForceNoAcpi
  41
  42 [Depex]
  43   TRUE