os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Describe remote GDB configuration in greater depth in the developer's handbook.

Browse source 
PR:		docs/170013
Submitted by:	Carl Delsey (carl.r.delsey (at) intel.com)
Reviewed by:	gavin
Approved by:	gjb (mentor)
This commit is contained in:
Isabell Long 2012-07-20 14:46:08 +00:00
parent bd11106dad
commit e5c7e3910a
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=39237
1 changed files with 6 additions and 2 deletions

8
en_US.ISO8859-1/books/developers-handbook/kerneldebug/chapter.sgml
View file

@ -686,13 +686,17 @@
debugging information).</para>
<para>You should configure the kernel in question with <command>config
-g</command>, include <option>DDB</option> into the configuration, and
-g</command> if building the <quote>traditional</quote> way. If
building the <quote>new</quote> way, make sure that
<literal>makeoptions DEBUG=-g</literal> is in the configuration.
In both cases, include <option>DDB</option> in the configuration, and
compile it as usual. This gives a large binary, due to the
debugging information. Copy this kernel to the target machine, strip
the debugging symbols off with <command>strip -x</command>, and boot it
using the <option>-d</option> boot option. Connect the serial line
of the target machine that has "flags 080" set on its sio device
to any serial line of the debugging host.
to any serial line of the debugging host. See &man.sio.4; for
information on how to set the flags on an sio device.
Now, on the debugging machine, go to the compile directory of the target
kernel, and start <command>gdb</command>:</para>