Gérer l'IPMI d'un serveur

Les pilotes :

modprobe ipmi_si
modprobe ipmi_devintf
modprobe ipmi_msghandler

ipmitool shell