linux/kernel26/drivers/char/ipmi
