Subject: Re: passing in the booted kernel name...?
To: email@example.com, Todd Vierling <firstname.lastname@example.org>
From: Ignatios Souvatzis <email@example.com>
Date: 01/11/1999 13:17:32
On Mon, Jan 11, 1999 at 07:59:08AM +0200, Lucio de Re wrote:
> > In general, `machdep.booted_kernel' can not really be made MI, and relying
> > on it in the system is Bogus.
> Well, maybe we need an indication as to whether is is Bogus, or not.
Just a thought...
the kernel might be booted with -b, and use a different root partition which
does NOT contain the same kernel. But this can be indicated as well.