1## @file 2# This driver implements EFI_PCI_HOT_PLUG_INIT_PROTOCOL, providing the PCI bus 3# driver with resource padding information, for PCIe hotplug purposes. 4# 5# Copyright (C) 2016, Red Hat, Inc. 6# 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 11# 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. 14## 15 16[Defines] 17 INF_VERSION = 0x00010005 18 BASE_NAME = PciHotPlugInitDxe 19 FILE_GUID = 11A6EDF6-A9BE-426D-A6CC-B22FE51D9224 20 MODULE_TYPE = DXE_DRIVER 21 VERSION_STRING = 1.0 22 ENTRY_POINT = DriverInitialize 23 24[Sources] 25 PciHotPlugInit.c 26 27[Packages] 28 MdeModulePkg/MdeModulePkg.dec 29 MdePkg/MdePkg.dec 30 31[LibraryClasses] 32 DebugLib 33 DevicePathLib 34 MemoryAllocationLib 35 UefiBootServicesTableLib 36 UefiDriverEntryPoint 37 38[Protocols] 39 gEfiPciHotPlugInitProtocolGuid ## SOMETIMES_PRODUCES 40 41[Depex] 42 TRUE 43