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
20set -e
21
22if [ "$(basename $2)" = "Image.gz" ] || [ "$(basename $2)" = "vmlinuz.efi" ]
23then
24# Compressed install
25  echo "Installing compressed kernel"
26  base=vmlinuz
27else
28# Normal install
29  echo "Installing normal kernel"
30  base=vmlinux
31fi
32
33if [ -f $4/$base-$1 ]; then
34  mv $4/$base-$1 $4/$base-$1.old
35fi
36cat $2 > $4/$base-$1
37
38# Install system map file
39if [ -f $4/System.map-$1 ]; then
40  mv $4/System.map-$1 $4/System.map-$1.old
41fi
42cp $3 $4/System.map-$1