1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
#!/bin/sh
#
# Copyright (C) 1995 - 1998, Ian A. Murdock <imurdock@debian.org>
#
# Install the kernel on a Debian Linux system.
#
# This script is called from /usr/src/linux/arch/i386/boot/install.sh.
# If you install it as /sbin/installkernel, you can do a "make install"
# from a generic kernel source tree, and the image will be installed to
# the proper place for Debian GNU/Linux.
set -e
if [ $# = 3 ] || [ $# = 4 ] ; then
img="$2"
map="$3"
ver="$1"
if [ $# = 4 ] ; then
dir="$4"
else
dir="/boot"
fi
else
echo "Usage: installkernel <version> <zImage> <System.map> <directory>"
exit 1
fi
updatever () {
if [ -f "$dir/$1-$ver" ] ; then
mv "$dir/$1-$ver" "$dir/$1-$ver.old"
fi
cat "$2" > "$dir/$1-$ver"
if [ -f "$dir/$1" ] ; then
if [ -L "$dir/$1" -a $(ls -l "$dir/$1" | awk '{print $11}') \
= "$1-$ver" ] ; then
ln -sf "$1-$ver.old" "$dir/$1.old"
else
mv "$dir/$1" "$dir/$1.old"
fi
fi
ln -sf "$1-$ver" "$dir/$1"
}
updatever vmlinuz "$img"
updatever System.map "$map"
config=$(dirname "$map")
config="${config}/.config"
if [ -f "$config" ] ; then
updatever config "$config"
fi
mkboot -i
|
