if test $# != 2
then
 echo "configKernel <kernel directory> <config file>"
 echo Copies the config file to the kernel directory, configures
 echo the kernel and copies the configuration file back.
fi

