Lines Matching refs:KERNEL
3 KERNEL=
13 --kernel)
14 KERNEL=$2
52 echo " --kernel <kernel> The kernel to boot"
71 if [ -z "$KERNEL" -o -z "$RAMDISK" -o -z "$GENEXT2FS" -o -z "$TMPDIR" -o \
77 if ! [ -x "$GENEXT2FS" -a -f "$RAMDISK" -a -f "$KERNEL" ]; then
86 cp -f $KERNEL $TMPDIR/kernel
