PciHotPlug.inf 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
  1. ### @file
  2. # This module will perform specific PCI-Express devices
  3. # resource configuration.
  4. #
  5. # Copyright (c) 2018, Intel Corporation. All rights reserved.<BR>
  6. #
  7. # SPDX-License-Identifier: BSD-2-Clause-Patent
  8. #
  9. ###
  10. [Defines]
  11. INF_VERSION = 0x00010017
  12. BASE_NAME = PciHotPlug
  13. FILE_GUID = 3022E512-B94A-4F12-806D-7EF1177899D8
  14. VERSION_STRING = 1.0
  15. MODULE_TYPE = DXE_DRIVER
  16. ENTRY_POINT = PciHotPlug
  17. #
  18. # The following information is for reference only and not required by the build tools.
  19. #
  20. # VALID_ARCHITECTURES = IA32 X64 EBC
  21. #
  22. [LibraryClasses]
  23. UefiDriverEntryPoint
  24. UefiBootServicesTableLib
  25. UefiRuntimeServicesTableLib
  26. BaseMemoryLib
  27. MemoryAllocationLib
  28. DevicePathLib
  29. DebugLib
  30. UefiLib
  31. HobLib
  32. PchPcieRpLib
  33. ConfigBlockLib
  34. TbtCommonLib
  35. [Packages]
  36. MdePkg/MdePkg.dec
  37. MinPlatformPkg/MinPlatformPkg.dec
  38. KabylakeOpenBoardPkg/OpenBoardPkg.dec
  39. KabylakeSiliconPkg/SiPkg.dec
  40. [Sources]
  41. PciHotPlug.c
  42. PciHotPlug.h
  43. [Protocols]
  44. gEfiPciHotPlugInitProtocolGuid ## PRODUCES
  45. gSaPolicyProtocolGuid ## CONSUMES
  46. [Guids]
  47. gEfiHobListGuid ## CONSUMES
  48. gPcieRpConfigGuid ## CONSUMES
  49. [Pcd]
  50. gBoardModuleTokenSpaceGuid.PcdPchPcieRootPortHpe
  51. [Depex]
  52. gDxeTbtPolicyProtocolGuid