1#!/bin/sh 2 3echo "Setting up OpenIPMI driver..." 4 5# load the ipmi modules 6modprobe ipmi_msghandler 7modprobe ipmi_devintf 8if ! modprobe ipmi_si_drv ; then 9 modprobe ipmi_si # try new module name 10fi 11 12maj=$(cat /proc/devices | awk '/ipmidev/{print $1}') 13if [ "$maj" ]; then 14 test -e /dev/ipmi0 && rm -f /dev/ipmi0 15 /bin/mknod /dev/ipmi0 c $maj 0 16fi 17 18