> 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).

Hmmm, sounds like maybe this could use some work?  :)

> 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...

Well, for now I'll just do it the dirty way - build a kernel
with the right name but with ACPI and MP turned on.

_________________________________________

Check your Email accounts at MyEmail.com

Login from home, work, school.  Anywhere!