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