installing multiple kernels

[Daniel Eischen]

On Thu, 15 Apr 2004, [iso-8859-1] Dag-Erling Sm=F8rgrav wrote:

> Currently, Makefile.inc1 will only install a single kernel.  If
> KERNCONF specifies multiple kernel configs, they are all built, but
> only the first one is installed.  This makes sense since otherwise the
> last one installed would simply clobber all the other ones.
>=20
> The attached patch changes that.  It modifies kern.pre.mk to install
> each kernel in /boot/<kernelname> instead of /boot/kernel.  It also

I think it would be neat to install multiple KERNCONF kernels
to /boot/kernel/<kernelname> and only install one set of
modules.

> modifies Makefile.inc1 to build and install all kernel configs listed
> in KERNCONF.  It also adds a script, sys/conf/regkernel.sh, which
> keeps a list of installed kernels in /boot/kernels, making sure that
> the last one installed is always listed last.
>=20
> The only missing element is to make the loader read /boot/kernels and
> have $kernel default to the last kernel listed there (i.e. the most
> recently installed) instead of "kernel".  It would also be nice to
> offer a kernel selection menu for the CLI-impaired.  Unfortunately,
> I'm afraid my forth skills aren't quite up to the task.  Any takers?
>=20
> DES
> --=20
> Dag-Erling Sm=F8rgrav - des at des.no

--=20
Dan Eischen