OvmfPkg/IncompatiblePciDeviceSupportDxe/IncompatiblePciDeviceSupport.inf

   1 ## @file
   2 # A simple DXE_DRIVER that causes the PCI Bus UEFI_DRIVER to allocate 64-bit
   3 # MMIO BARs above 4 GB, regardless of option ROM availability (as long as a CSM
   4 # is not present), conserving 32-bit MMIO aperture for 32-bit BARs.
   5 #
   6 # Copyright (C) 2016, Red Hat, Inc.
   7 #
   8 # SPDX-License-Identifier: BSD-2-Clause-Patent
   9 ##
  10
  11 [Defines]
  12   INF_VERSION                    = 0x00010005
  13   BASE_NAME                      = IncompatiblePciDeviceSupportDxe
  14   FILE_GUID                      = F6697AC4-A776-4EE1-B643-1FEFF2B615BB
  15   MODULE_TYPE                    = DXE_DRIVER
  16   VERSION_STRING                 = 1.0
  17   ENTRY_POINT                    = DriverInitialize
  18
  19 [Sources]
  20   IncompatiblePciDeviceSupport.c
  21
  22 [Packages]
  23   MdeModulePkg/MdeModulePkg.dec
  24   MdePkg/MdePkg.dec
  25   OvmfPkg/OvmfPkg.dec
  26
  27 [LibraryClasses]
  28   DebugLib
  29   MemoryAllocationLib
  30   PcdLib
  31   UefiBootServicesTableLib
  32   UefiDriverEntryPoint
  33
  34 [Protocols]
  35   gEfiIncompatiblePciDeviceSupportProtocolGuid ## SOMETIMES_PRODUCES
  36   gEfiLegacyBiosProtocolGuid                   ## NOTIFY
  37
  38 [Pcd]
  39   gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration ## CONSUMES
  40   gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Size                ## CONSUMES
  41
  42 [Depex]
  43   TRUE