Subject: Re: passing in the booted kernel name...?
To: lucio@proxima.alt.za, Todd Vierling <tv@pobox.com>
From: Ignatios Souvatzis <ignatios@cs.uni-bonn.de>
List: tech-kern
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.

	-is