Lines Matching refs:kernel
7 kernel=$kerneldir/netbsd-RPI.bin
49 rpi2_kernel="$(echo $kernel | sed -e 's/RPI/RPI2/g')"
65 # Default kernel for BCM2836 and later
66 kernel=/kernel7.img
67 # Override kernel for BCM2835 based boards
69 kernel=/kernel.img
71 kernel=/kernel.img
73 kernel=/kernel.img
78 echo "${bar} kernel ${kernel} ${bar}"
80 if [ ! -f ${kernel} ]; then
81 echo ${PROG}: Missing ${kernel} 1>&2
86 echo "${bar} installing RPI kernel ${bar}"
87 case ${kernel} in
89 gzip -dc ${kernel} > ${mnt}/boot/kernel.img
92 cp ${kernel} ${mnt}/boot/kernel.img
94 esac || fail "copy of ${kernel} to ${mnt}/boot/kernel.img failed"
96 echo "${bar} installing RPI2 kernel ${bar}"
106 echo "${bar} installing kernel files ${bar}"