Subject: Re: Proposal to fix booted_kernel on shark.
To: None <toddpw@toddpw.org>
From: Jason R Thorpe <thorpej@wasabisystems.com>
List: port-arm32
Date: 01/22/2003 09:42:34
On Tue, Jan 21, 2003 at 12:40:35PM -0800, toddpw@toddpw.org wrote:
> The case that mrg's comment made me worry about was this:
>
> start with a stock 1.5.x system (/netbsd is a.out)
> install /netbsd.aout from 1.6 to test retrofit
> boot disk:\netbsd.aout
> machdep.booted_kernel claims the OLD kernel was booted
I think what mrg is worrying about here isn't worth the trouble.
--
-- Jason R. Thorpe <thorpej@wasabisystems.com>