[PATCH] IPMI driver for Linux, version 12

[Corey Minyard]

I've been working a lot if different issues with different people, and I 
have a new version of the IPMI driver.  The location has moved, it's now 
on SourceForge at http://openipmi.sourceforge.net.

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