====== GĂ©rer l'IPMI d'un serveur ====== Les pilotes : modprobe ipmi_si modprobe ipmi_devintf modprobe ipmi_msghandler ipmitool shell