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