KERNEL_NAME=
KERNEL_VERSION=2.6.35.7

post_install() {
# ARM doesn't use mkinitcpio or anything like that
# so we skip it here
echo -e "\033[1mNotice\033[0m"
echo ""
echo "This package is built for the Raspberry Pi."
echo ""
/sbin/depmod ${KERNEL_VERSION}
}

post_upgrade() {
	post_install
}

op=$1
shift
$op $*