Subject: Re: passing in the booted kernel name...?
To: None <>
From: Soren S. Jorvang <>
List: tech-kern
Date: 01/11/1999 13:32:29
On Mon, Jan 11, 1999 at 01:17:32PM +0100, Ignatios Souvatzis wrote:
> 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.

I would suggest keeping machdep.booted_kernel (still machdep as the exact
interpretation really is machine dependant) around as a hint to be
tried first (possibly also booted_kernel offset at various mount points).
After booted_kernel, kvm_mkdb can be given /netbsd* in turn to try them
on for size. First one that fits version[] wins.

I'll try this out later on.