Subject: Re: Changing which kernel goes into an iso-image
To: None <paul@whooppee.com>
From: Hubert Feyrer <hubert@feyrer.de>
List: port-amd64
Date: 10/03/2006 05:00:10
On Mon, 2 Oct 2006, paul@whooppee.com wrote:
> OK, I'm probably dense, but I can't figure out
> where in the process the specific kernel to use
> gets selected. There are multiple INSTALL-*
> kernels for amd64, but no obvious way to tell
> "make iso-image" which one to use.
Easy: you can't.
Check out src/etc/etc.amd64/Makefile.inc, you'll find MKISOFS_FLAGS there,
which will specify a floppy image to take. If you want to change the
kernel, you have to change the floppy (either by using a different image,
or by putting a different kernel on the boot-big.fs floppy).
Funny enough, I had replacements for the 'iso-image' target for
src/distrib/{amd64,i386}, but I seem to have lost them. It shouldn't be
too hard to redo, though...
- Hubert