]>
Commit | Line | Data |
---|---|---|
855743f7 LE |
1 | ## @file\r |
2 | # A simple DXE_DRIVER that causes the PCI Bus UEFI_DRIVER to allocate 64-bit\r | |
3 | # MMIO BARs above 4 GB, regardless of option ROM availability (as long as a CSM\r | |
4 | # is not present), conserving 32-bit MMIO aperture for 32-bit BARs.\r | |
5 | #\r | |
6 | # Copyright (C) 2016, Red Hat, Inc.\r | |
7 | #\r | |
8 | # This program and the accompanying materials are licensed and made available\r | |
9 | # under the terms and conditions of the BSD License which accompanies this\r | |
10 | # distribution. The full text of the license may be found at\r | |
11 | # http://opensource.org/licenses/bsd-license.php\r | |
12 | #\r | |
13 | # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT\r | |
14 | # WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r | |
15 | ##\r | |
16 | \r | |
17 | [Defines]\r | |
18 | INF_VERSION = 0x00010005\r | |
19 | BASE_NAME = IncompatiblePciDeviceSupportDxe\r | |
20 | FILE_GUID = F6697AC4-A776-4EE1-B643-1FEFF2B615BB\r | |
21 | MODULE_TYPE = DXE_DRIVER\r | |
22 | VERSION_STRING = 1.0\r | |
23 | ENTRY_POINT = DriverInitialize\r | |
24 | \r | |
25 | [Sources]\r | |
26 | IncompatiblePciDeviceSupport.c\r | |
27 | \r | |
28 | [Packages]\r | |
29 | IntelFrameworkPkg/IntelFrameworkPkg.dec\r | |
30 | MdeModulePkg/MdeModulePkg.dec\r | |
31 | MdePkg/MdePkg.dec\r | |
32 | OvmfPkg/OvmfPkg.dec\r | |
33 | \r | |
34 | [LibraryClasses]\r | |
35 | DebugLib\r | |
36 | MemoryAllocationLib\r | |
37 | PcdLib\r | |
38 | UefiBootServicesTableLib\r | |
39 | UefiDriverEntryPoint\r | |
40 | \r | |
41 | [Protocols]\r | |
42 | gEfiIncompatiblePciDeviceSupportProtocolGuid ## SOMETIMES_PRODUCES\r | |
43 | gEfiLegacyBiosProtocolGuid ## NOTIFY\r | |
44 | \r | |
45 | [Pcd]\r | |
46 | gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration ## CONSUMES\r | |
47 | gUefiOvmfPkgTokenSpaceGuid.PcdPciMmio64Size ## CONSUMES\r | |
48 | \r | |
49 | [Depex]\r | |
50 | TRUE\r |