2 # This driver implements EFI_PCI_HOT_PLUG_INIT_PROTOCOL, providing the PCI bus
3 # driver with resource padding information, for PCIe hotplug purposes.
5 # Copyright (C) 2016, Red Hat, Inc.
7 # This program and the accompanying materials are licensed and made available
8 # under the terms and conditions of the BSD License which accompanies this
9 # distribution. The full text of the license may be found at
10 # http://opensource.org/licenses/bsd-license.php
12 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT
13 # WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
17 INF_VERSION = 0x00010005
18 BASE_NAME = PciHotPlugInitDxe
19 FILE_GUID = 11A6EDF6-A9BE-426D-A6CC-B22FE51D9224
20 MODULE_TYPE = DXE_DRIVER
22 ENTRY_POINT = DriverInitialize
28 MdeModulePkg/MdeModulePkg.dec
39 UefiBootServicesTableLib
43 gEfiPciHotPlugInitProtocolGuid ## ALWAYS_PRODUCES