Date: Wed, 20 Sep 2000 14:15:57 -0400 From: "Christopher Harrer" <charrer@alacritech.com> To: "Freebsd-Questions" <freebsd-questions@FreeBSD.ORG> Subject: On-line Kernel Debugging with GDB Message-ID: <POELKPJGDHAPIPMEMHGAAECHCDAA.charrer@alacritech.com>
next in thread | raw e-mail | index | archive | help
[-- Attachment #1 --] Hello All, I found an article about remote kernel debugging using GDB. I have a question about starting starting GDB on the debugging machine. The article states to start gdb in the directory where I built the kernel (for the target) and enter the command: gdb -k kernel I do this and gdb starts fine, but no symbols are loaded. I went to the GDB web site and can't find any explanation for the -k option. Does anyone know what the -k means and also if there's anything else I need to supply on the start line to make sure I get my symbols for the kernel loaded? Thanks! Chris [-- Attachment #2 --] x>"9 IPM.Microsoft Mail.Note 1 &
