vserver 1.9.5.x5

[linux-2.6.git] / drivers / char / ipmi / Kconfig

diff --git a/drivers/char/ipmi/Kconfig b/drivers/char/ipmi/Kconfig
index b632538..a6dcb29 100644 (file)
--- a/drivers/char/ipmi/Kconfig
+++ b/drivers/char/ipmi/Kconfig
@@ -12,7 +12,7 @@ config IPMI_HANDLER
          IPMI is a standard for managing sensors (temperature,
          voltage, etc.) in a system.
 
-         See Documentation/IPMI.txt for more details on the driver.
+         See <file:Documentation/IPMI.txt> for more details on the driver.
 
         If unsure, say N.
 
@@ -57,4 +57,11 @@ config IPMI_WATCHDOG
        help
          This enables the IPMI watchdog timer.
 
+config IPMI_POWEROFF
+       tristate 'IPMI Poweroff'
+       depends on IPMI_HANDLER
+       help
+         This enables a function to power off the system with IPMI if
+        the IPMI management controller is capable of this.
+
 endmenu