On Tue, Jul 05, 2005 at 12:38:39PM -0700, Andy Ruhl wrote:
> > Although gdb core dumped, it should have changed the value in the kernel
> > binary.
> 
> That wasn't the case. I checked it with sysctl before and after a
> reboot. cksum on the kernel was the same as well.

OK, it used to work for me, despite the core dump ...

-- 
Manuel Bouyer <bouyer@antioche.eu.org>
     NetBSD: 26 ans d'experience feront toujours la difference
--