This is an old revision of the document!
#!/bin/sh if [ ! -c /dev/ipmi0 ] ; then exec /sbin/modprobe ipmi_si >/dev/null 2>&1 fi