Subject: Re: savecore/etc
To: None <current-users@NetBSD.ORG>
From: Paul Kranenburg <>
List: current-users
Date: 06/29/1995 12:14:38
> I'm not sure if our gdb supports 'gdb -k' -- i doubt it though.
Our gdb supports kernel debugging for over a year now.

Actually, the extras required in gdb proper are almost trivially simple; the
hard work is all done in libkvm. So if your port's libkvm routines work,
you can read crash dumps (gdb -k /netbsd netbsd.core) and edit the live
kernel (gdb -k /netbsd /dev/mem). I've used the latter quite extensively :-)