#!/bin/sh

echo "Setting up OpenIPMI driver..."

# load the ipmi modules

modprobe ipmi_msghandler

modprobe ipmi_devintf

if ! modprobe ipmi_si_drv ; then

	modprobe ipmi_si # try new module name

fi

maj=$(cat /proc/devices | awk '/ipmidev/{print $1}')

if [ "$maj" ]; then

    test -e /dev/ipmi0 && rm -f /dev/ipmi0

    /bin/mknod /dev/ipmi0 c $maj 0

fi