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