IPMI driver for Linux, version 4

I have put a new version of the IPMI driver on my home page
(http://home.attbi.com/~minyard) that fixes a bug.  A previous unannounce
version is there (v3) that adds IPMB broadcast support and fixes a bug.  If
you are using this driver, you want to update to the newest version.  These
are only supplied as a patches against the previous version since the
patches are small and apply to all kernel versions.  If someone wants a
full patch, I can do that, too.

I was toying with the idea of adding a socket interface to the IPMI driver.
This way, it would naturally handle separation of addressing and data, and
it wouldn't take up a character device.  I think I could map everything the
driver does into standard network calls, and the IPMB bus is sort of a
network, anyway.  Does anyone have any opinions on this?

-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

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/