Subject: Re: Proposal to fix booted_kernel on shark.
To: Jason R Thorpe <thorpej@wasabisystems.com>
From: None <toddpw@toddpw.org>
List: port-arm32
Date: 01/27/2003 12:29:48
>  > 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.


okay.

The consensus seems to be that shark owners are clueful enough to cope with
this. In the interests of keeping boot output brief, and getting this into
1.6.1, I told releng that the patch is good as is, and it's been pulled up.

-- 
Todd Whitesel
toddpw @ toddpw.org