Re: boot-time kernel selection and /System.map mismatch

[Rob Browning <rlb@cs.utexas.edu>]

Manoj Srivastava <srivasta@datasync.com> writes:

Any reason not to include this as a part of base-files or the
kernel-package? (slight modification (not necessarily correct)
included to handle kernel in non-standard location)

#!/bin/sh
# /etc/rc.boot/10setmap

set -e

KERNEL_LOCATION=/
cd $KERNEL_LOCATION
VERSION=`uname -r`

if test -L $KERNEL_LOCATION/System.map ; then
   if test -f /boot/System.map-$VERSION ; then
      rm -f $KERNEL_LOCATION/System.map
      ln -s /boot/System.map-$VERSION $KERNEL_LOCATION/System.map
   fi
fi

-- 
Rob


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .