The text 80df493558dd, as Debian 4.0 (Etch) shipped it.
An IPMI Command Interface
-k
openipmicmd(1) on Linux now
