File indexing completed on 2024-04-28 13:18:36 

0001 #!/bin/sh -x
0002 
0003 cd /boot
0004 
0005 if [ $1 = "armhf" ]; then
0006     cp /boot/vmlinuz-* /boot/firmware/kernel.img
0007 else
0008     cp /boot/vmlinuz-* /boot/firmware/kernel8.img.gz
0009     gunzip /boot/firmware/kernel8.img.gz
0010 fi