#!/bin/sh
add_drv -m '* 0600 root root' ipf
if [ x"`grep minor=ipf /etc/devlink.tab`" = x ] ; then
	echo "type=ddi_pseudo;name=ipf;minor=ipf	\M0" >>/etc/devlink.tab
fi
if [ x"`grep 'minor=ipf	ipl' /etc/devlink.tab`" = x ] ; then
	echo "type=ddi_pseudo;name=ipf;minor=ipf	ipl" >>/etc/devlink.tab
fi
if [ x"`grep minor=ipnat /etc/devlink.tab`" = x ] ; then
	echo "type=ddi_pseudo;name=ipf;minor=ipnat	\M0" >>/etc/devlink.tab
fi
if [ x"`grep minor=ipstate /etc/devlink.tab`" = x ] ; then
	echo "type=ddi_pseudo;name=ipf;minor=ipstate	\M0" >>/etc/devlink.tab
fi
if [ x"`grep minor=ipauth /etc/devlink.tab`" = x ] ; then
	echo "type=ddi_pseudo;name=ipf;minor=ipauth	\M0" >>/etc/devlink.tab
fi
/usr/sbin/devlinks
if [ -d /usr/ucb -a -f /usr/ucb/ucblinks ] ; then
	/usr/ucb/ucblinks
fi
if [ ! -f /etc/opt/ipf/ipf.conf ] ; then
	touch /etc/opt/ipf/ipf.conf
fi
exit 0
