drm/virtio: Don't return error if virtio-gpu PCI dev is not found
[drm/drm-misc.git] / arch / arm64 / boot / install.sh
blobcc2f4ccca6c03c5630568efc4f99a95559c5fcd6
1 #!/bin/sh
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.
7 # Copyright (C) 1995 by Linus Torvalds
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
12 # "make install" script for the AArch64 Linux port
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)
20 set -e
22 if [ "$(basename $2)" = "Image.gz" ] || [ "$(basename $2)" = "vmlinuz.efi" ]
23 then
24 # Compressed install
25 echo "Installing compressed kernel"
26 base=vmlinuz
27 else
28 # Normal install
29 echo "Installing normal kernel"
30 base=vmlinux
33 if [ -f $4/$base-$1 ]; then
34 mv $4/$base-$1 $4/$base-$1.old
36 cat $2 > $4/$base-$1
38 # Install system map file
39 if [ -f $4/System.map-$1 ]; then
40 mv $4/System.map-$1 $4/System.map-$1.old
42 cp $3 $4/System.map-$1