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>