Package: linux Version: 3.14 Severity: bug Tags: patch 64bit (but not 32bit) parisc machines (like the C8000) do provide a BMC with IPMI support. This patchs adds IPMI support to the 64bit debian kernel.
Please apply to the next kernel. Thanks, Helge
diff -up ./debian/config/hppa/config.parisc64-smp.org ./debian/config/hppa/config.parisc64-smp --- ./debian/config/hppa/config.parisc64-smp.org 2014-05-09 10:59:19.997166749 +0200 +++ ./debian/config/hppa/config.parisc64-smp 2014-05-09 11:00:49.493146882 +0200 @@ -31,6 +31,15 @@ CONFIG_DRM_TTM=m CONFIG_DRM_RADEON=m ## +## file: drivers/char/ipmi/Kconfig +## +CONFIG_IPMI_HANDLER=m +CONFIG_IPMI_DEVICE_INTERFACE=m +CONFIG_IPMI_SI=m +CONFIG_IPMI_WATCHDOG=m +CONFIG_IPMI_POWEROFF=m + +## ## file: mm/Kconfig ## ## choice: Memory model