[PATCH] Version 15 of the Linux IPMI driver

[Corey Minyard <cminyard@mvista.com>]

This is yet another release of the IPMI driver for Linux.  This is
for linux 2.4.20 and 2.5.50, patches are available from the previous
release (Version 14) of the IPMI driver.

This release of the IPMI driver fixes some race conditions on SMP
systems, and fixes some minor problems in the watchdog. A special
thanks goes to Francois Isabelle at Kontron for finding the SMP
problem and helping me debug it.

The NMI handler has changed to export the nmi_watchdog variable;
since the ipmi watchdog is incompatible with the IOAPIC nmi_watchdog
setting, it detects this and refuses to use NMI in that case. As usual, you
don't need the NMI patch if you don't care about IPMI NMI watchdog
pretimeouts, but you must upgrade to the new NMI patch if you use the
IPMI NMI watchdog pretimeout.

As usual, you can get the drivers from SourceForge.  The home page is
 http://openipmi.sourceforge.net.

http://sourceforge.net/projects/openipmi gets you directly to the page
with the patches.

-Corey

PS - In case you don't know, IPMI is a standard for system management, it
provides ways to detect the managed devices in the system and sensors
attached to them.  You can get more information at
http://www.intel.com/design/servers/ipmi/spec.htm.  A nice overview of
IPMI is available at
http://www.intel.com/platforms/applied/eiacomm/papers/25133701.pdf