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 RISC-V 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 case "${2##*/}" in
23 # Compressed install
24 Image.*|vmlinuz.efi)
25 echo "Installing compressed kernel"
26 base=vmlinuz
27 ;;
28 # Normal install
29 *)
30 echo "Installing normal kernel"
31 base=vmlinux
32 ;;
33 esac
34
35 if [ -f $4/$base-$1 ]; then
36 mv $4/$base-$1 $4/$base-$1.old
37 fi
38 cat $2 > $4/$base-$1
39
40 # Install system map file
41 if [ -f $4/System.map-$1 ]; then
42 mv $4/System.map-$1 $4/System.map-$1.old
43 fi
44 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.