Kernel debugging FAQ
                    for FreeBSD 1.1.5.1 and below

Last modified: $Id: kernel-debug.FAQ,v 1.1 1994/09/11 10:56:06 jkh Exp $

Here are some instructions for getting kernel debugging working on
a crash dump, it assumes that you have enough swap space for a crash
dump.

*** Start ***

Config you're kernel using config -g

Remove ${STRIP} -x $@; from the Makefile for the kernel so it doesn't
get stripped.

When the kernel's been built make a copy of it, say 386BSD.debug, and
then run strip -x on the original. Install the original as normal.

Now, after a crash dump, go to /sys/compile/WHATEVER and run kgdb. From kgdb
do:

symbol-file 386BSD.debug
exec-file /var/crash/system.0
core-file /var/crash/ram.0

and viola, you can debug the crash dump using the kernel sources just like
you can for any other program. 



  Paul Richards, FreeBSD core team member.