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