Version 16 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.20 and 2.5.54.

This release adds minor bugfixes to the watchdog and fixes for handling buggy hardware. It adds the ability to have the user be notified of a pretimeout if not using NMIs for pretimeout notification.

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.

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