#!/bin/sh

# Change this if your kernel is located anywhere else!
kerneldir=/usr/src/linux

dir=`pwd`
karch=`uname -m`

if [ ! -d $kerneldir ] ; then
	echo 'Where are the kernel sources?'
	exit 255
fi

if [ `basename $dir` = Linux ] ; then cd ..; fi
echo "Patching kernel"
cat Linux/kernel.patch | (cd $kerneldir; patch -p1)

echo "You now need to reconfigure your kernel and enable IP Filter as a"
echo "KERNEL MODULE (m) ONLY!"
exit 0
