IpmiProtocolDxe.inf 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. ## @file
  2. # IPMI Protocol DXE 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 = IpmiDxe
  10. FILE_GUID = BC41B0C2-9D8A-42B5-A28F-02CE0D4A6C28
  11. MODULE_TYPE = DXE_DRIVER
  12. VERSION_STRING = 1.0
  13. ENTRY_POINT = DxeIpmiEntry
  14. UNLOAD_IMAGE = IpmiUnloadImage
  15. #
  16. # VALID_ARCHITECTURES = IA32 X64 ARM AARCH64
  17. #
  18. [Sources]
  19. IpmiProtocol.c
  20. ../Common/IpmiProtocolCommon.c
  21. ../Common/IpmiProtocolCommon.h
  22. [Packages]
  23. MdePkg/MdePkg.dec
  24. MdeModulePkg/MdeModulePkg.dec
  25. ManageabilityPkg/ManageabilityPkg.dec
  26. [LibraryClasses]
  27. BaseMemoryLib
  28. DebugLib
  29. ManageabilityTransportHelperLib
  30. ManageabilityTransportLib
  31. UefiDriverEntryPoint
  32. UefiBootServicesTableLib
  33. [Protocols]
  34. gIpmiProtocolGuid # PROTOCOL ALWAYS_PRODUCED
  35. [Guids]
  36. gManageabilityProtocolIpmiGuid
  37. gManageabilityTransportKcsGuid
  38. [FixedPcd]
  39. gEfiMdePkgTokenSpaceGuid.PcdIpmiKcsIoBaseAddress # Used as default KCS I/O base adddress
  40. [Depex]
  41. TRUE