1 #!/bin/sh 2 # 3 # This file is subject to the terms and conditions of the GNU General Public 4 # License. See the file "COPYING" in the main directory of this archive 5 # for more details. 6 # 7 # Copyright (C) 1995 by Linus Torvalds 8 # 9 # Adapted from code in arch/i386/boot/Makefile by H. Peter Anvin 10 # Adapted from code in arch/i386/boot/install.sh by Russell King 11 # 12 # "make install" script for the AArch64 Linux port 13 # 14 # Arguments: 15 # $1 - kernel version 16 # $2 - kernel image file 17 # $3 - kernel map file 18 # $4 - default install path (blank if root directory) 19 20 set -e 21 22 if [ "$(basename $2)" = "Image.gz" ] || [ "$(basename $2)" = "vmlinuz.efi" ] 23 then 24 # Compressed install 25 echo "Installing compressed kernel" 26 base=vmlinuz 27 else 28 # Normal install 29 echo "Installing normal kernel" 30 base=vmlinux 31 fi 32 33 if [ -f $4/$base-$1 ]; then 34 mv $4/$base-$1 $4/$base-$1.old 35 fi 36 cat $2 > $4/$base-$1 37 38 # Install system map file 39 if [ -f $4/System.map-$1 ]; then 40 mv $4/System.map-$1 $4/System.map-$1.old 41 fi 42 cp $3 $4/System.map-$1
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.