#
# ident "@(#)postinstall	1.2	96/08/06 Sun Microsystems"
#
#
if [ -f $BASEDIR/kernel/drv/skip_key ]; then
	echo "## Adding skip key management drivers ##"
	add_drv -b $BASEDIR skip_key
fi

# force reconfigure on next boot
touch $BASEDIR/reconfigure

echo "## Done ##"
