IPMI support in Linux
Ronald G Minnich
rminnich at lanl.gov
Sat Oct 19 11:51:00 CEST 2002
I can try the patch. There is no reason it would not work as IPMI is more
or less a device driver on the boards we've seen.
More information about the coreboot