Re: boot-time kernel selection and /System.map mismatch
Bill Mitchell <mitchell@mozcom.com> writes:
> Alternative (2) sounds better to me. However, both alternatives rely
> on there being .map files available - probably in some designated
> directory - for all those alternative kernels. That implies the use
> of a tool to install and remove those alternative kernels, so that
> the .map files get installed and removed properly along with them.
Well, I believe that the kernel-package package (i.e. make-kpkg)
handles all this for you. Some people seem opposed to it, but it
works great for me.
I just keep .deb files around for all the kernels I want to switch
between, and do a "dpkg -i whatever.deb" and reboot when I want to use
a particular one. It handles modules, and the symlinks in /boot too.
Two of the biggest objections I had from people here about
kernel-package were that it was cluttering up /usr/src/ with .deb
files whose names were too long, and it was putting System.map and
vmlinuz in "/" when the objectors felt they should be in /boot.
I didn't mind moving things, so I asked Manoj if he could add some
kernel-package config options, and voila -- problem solved (thanks
Manoj). I'm not sure if these "features" are documented, so here's my
/etc/kernel-pkg.conf if anyone cares (make sure to change your
/etc/lilo.conf to match the new kernel location if you use this):
maintainer := Rob Browning
email := <rlb@cs.utexas.edu>
priority := Low
# The non-standard opts
image_in_boot := True
DEB_DEST := ../kernel-images
--
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 .
Reply to: