Bug#747482: Add IPMI drivers to 64bit parisc kernel
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
Reply to: