linux-2.5/drivers/char/ipmi
