linux-2.4/drivers/char/ipmi
