OvmfPkg/PciHotPlugInitDxe/PciHotPlugInit.inf

   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   OvmfPkg/OvmfPkg.dec
  31
  32 [LibraryClasses]
  33   BaseLib
  34   BaseMemoryLib
  35   DebugLib
  36   DevicePathLib
  37   MemoryAllocationLib
  38   PciLib
  39   UefiBootServicesTableLib
  40   UefiDriverEntryPoint
  41
  42 [Protocols]
  43   gEfiPciHotPlugInitProtocolGuid ## ALWAYS_PRODUCES
  44
  45 [Depex]
  46   TRUE