You need to use the right kernel image.  The installed kernel
(/kernel) is stripped of debugging symbols.  The kernel in
/usr/src/sys/compile/WHATEVER/kernel.debug contains the debugging
symbols and can be used with gdb -k.



(minor correction) /usr/obj/usr/src/sys/WHATEVER/kernel.debug

Now I understand why the kernel isn't installed - it's 4 times my other kernel!

Thanks Kris!

Adam Carmichael

Chat via SMS. Simply send 'CHAT' to 1889918. 33c per message sent. Free to receive. More info at

[EMAIL PROTECTED] mailing list
To unsubscribe, send any mail to "[EMAIL PROTECTED]"

Reply via email to