IncompatiblePciDeviceSupport.inf 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142
  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. [Defines]
  11. INF_VERSION = 0x00010005
  12. BASE_NAME = IncompatiblePciDeviceSupportDxe
  13. FILE_GUID = F6697AC4-A776-4EE1-B643-1FEFF2B615BB
  14. MODULE_TYPE = DXE_DRIVER
  15. VERSION_STRING = 1.0
  16. ENTRY_POINT = DriverInitialize
  17. [Sources]
  18. IncompatiblePciDeviceSupport.c
  19. [Packages]
  20. MdePkg/MdePkg.dec
  21. OvmfPkg/OvmfPkg.dec
  22. [LibraryClasses]
  23. CcProbeLib
  24. DebugLib
  25. MemoryAllocationLib
  26. PcdLib
  27. UefiBootServicesTableLib
  28. UefiDriverEntryPoint
  29. [Protocols]
  30. gEfiIncompatiblePciDeviceSupportProtocolGuid ## SOMETIMES_PRODUCES
  31. gEfiLegacyBiosProtocolGuid ## NOTIFY
  32. [Pcd]
  33. gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Size ## CONSUMES
  34. [Depex]
  35. TRUE