Newbie : Problem with kgdb

[David Malone]

On Wed, Feb 25, 2004 at 01:18:14PM +0530, sundeep.puliccott at wipro.com wrote:
>  I get the warning
> (no debugging symbols found)...
> when I invoke
> gdb -k /kernel

Look for the kernel.debug file in the directory where you complied
the kernel. This should have all the symbols - it is probably something
like /usr/obj/usr/src/sys/KERNEL_NAME/kernel.debug or
/usr/src/sys/compile/KERNEL_NAME/kernel.debug

	David.