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 20case "${2##*/}" in 21# Compressed install 22Image.*|vmlinuz.efi) 23 echo "Installing compressed kernel" 24 base=vmlinuz 25 ;; 26# Normal install 27*) 28 echo "Installing normal kernel" 29 base=vmlinux 30 ;; 31esac 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 43