IpmiPpiPei.inf 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253
  1. ## @file
  2. # IPMI Protocol PEI Driver.
  3. #
  4. # Copyright (C) 2023 Advanced Micro Devices, Inc. All rights reserved.<BR>
  5. # SPDX-License-Identifier: BSD-2-Clause-Patent
  6. ##
  7. [Defines]
  8. INF_VERSION = 0x0001001d
  9. BASE_NAME = IpmiPei
  10. FILE_GUID = 7832F989-CB72-4715-ADCA-35C0B031856C
  11. MODULE_TYPE = PEIM
  12. VERSION_STRING = 1.0
  13. ENTRY_POINT = PeiIpmiEntry
  14. #
  15. # The following information is for reference only and not required by the build tools.
  16. #
  17. # VALID_ARCHITECTURES = IA32 X64 ARM AARCH64
  18. #
  19. [Sources]
  20. IpmiPpi.c
  21. IpmiPpiInternal.h
  22. ../Common/IpmiProtocolCommon.c
  23. ../Common/IpmiProtocolCommon.h
  24. [Packages]
  25. MdePkg/MdePkg.dec
  26. MdeModulePkg/MdeModulePkg.dec
  27. ManageabilityPkg/ManageabilityPkg.dec
  28. [LibraryClasses]
  29. BaseMemoryLib
  30. DebugLib
  31. MemoryAllocationLib
  32. ManageabilityTransportHelperLib
  33. ManageabilityTransportLib
  34. PeimEntryPoint
  35. ManageabilityTransportLib
  36. [Ppis]
  37. gPeiIpmiPpiGuid # PPI ALWAYS PRODUCED
  38. [Guids]
  39. gManageabilityProtocolIpmiGuid
  40. gManageabilityTransportKcsGuid
  41. [FixedPcd]
  42. gEfiMdePkgTokenSpaceGuid.PcdIpmiKcsIoBaseAddress # Used as default KCS I/O base adddress
  43. [Depex]
  44. TRUE