Version 14 of the IPMI driver

This is yet another release of the IPMI driver for Linux. This release cleans up the rather broken locking that was in the driver and fixes the linux command line parsing so the driver may be properly compiled into the kernel. Patches are relative to 2.4.19 and 2.5.48.

It also splits out the NMI handling code. If you don't care about NMI watchdog pre-timeouts, you don't need the NMI part of the patch. It's hopefully going to be in 2.5 soon, anyway, so it won't matter.

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 info.

Alan, I think this release is ready.

-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.