Subject: Re: passing in the booted kernel name...?
To: None <email@example.com>
From: Soren S. Jorvang <firstname.lastname@example.org>
Date: 01/11/1999 13:34:31
On Mon, Jan 11, 1999 at 01:32:29PM +0100, Soren S. Jorvang wrote:
> 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
'What some boot loader told me in a pub.' :-)
> 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.