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   IntelFrameworkPkg/IntelFrameworkPkg.dec
  24   MdeModulePkg/MdeModulePkg.dec
  25   MdePkg/MdePkg.dec
  26   OvmfPkg/OvmfPkg.dec
  27
  28 [LibraryClasses]
  29   DebugLib
  30   MemoryAllocationLib
  31   PcdLib
  32   UefiBootServicesTableLib
  33   UefiDriverEntryPoint
  34
  35 [Protocols]
  36   gEfiIncompatiblePciDeviceSupportProtocolGuid ## SOMETIMES_PRODUCES
  37   gEfiLegacyBiosProtocolGuid                   ## NOTIFY
  38
  39 [Pcd]
  40   gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration ## CONSUMES
  41   gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Size                ## CONSUMES
  42
  43 [Depex]
  44   TRUE