
This is the Debian GNU/Linux packaged version of the IPMI tools
and drivers.

The source was downloaded from the ipmitools project on sourceforge
(http://sourceforge.net/projects.ipmitools/). The kernel patches
were pulled from the CVS tree since they were not released separately.

The IPMI tools and IPMI-KCS kernel driver are Copyright 1999 by
San Mehat and VA Linux Systems, and licensed under the GNU General
Public License as published by the Free Software Foundation, either
version 2 of the License or any later version.

The dmidecode utility is Copyright 2000,2001 Alan Cox and was
downloaded from ftp://ftp.linux.org.uk/pub/linux/alan/DMI/ .

On Debian system you can find the full text for the GNU GPL in
/usr/share/common-licenses/GPL .


