docs/170013: Remote GDB config section of Developer's Handbook is a bit confusing

Carl Delsey carl.r.delsey at intel.com
Fri Jul 20 00:30:12 UTC 2012


>Number:         170013
>Category:       docs
>Synopsis:       Remote GDB config section of Developer's Handbook is a bit confusing
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    freebsd-doc
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          doc-bug
>Submitter-Id:   current-users
>Arrival-Date:   Fri Jul 20 00:30:11 UTC 2012
>Closed-Date:
>Last-Modified:
>Originator:     Carl Delsey
>Release:        FreeBSD 9.0-RELEASE i386
>Organization:
>Environment:
System: FreeBSD crdelsey-dev 9.0-RELEASE FreeBSD 9.0-RELEASE #0: Tue Jan 3 07:15:25 UTC 2012 root at obrian.cse.buffalo.edu:/usr/obj/usr/src/sys/GENERIC i386


	
>Description:
	The remote GDB setup section of the developer's handbook is a bit unclear. It talks
about building using config -g but doesn't explain how to build in the "New" way. It also
talks about setting flags 080 without explaining how to do that.
	
>How-To-Repeat:
	
>Fix:

--- kerneldebug-gdb-doc-update.patch begins here ---
Index: kerneldebug/chapter.sgml
===================================================================
--- kerneldebug/chapter.sgml	(revision 39236)
+++ kerneldebug/chapter.sgml	(working copy)
@@ -685,16 +685,22 @@
       simply runs a similar copy of the very same kernel (but stripped of the
       debugging information).</para>
 
-    <para>You should configure the kernel in question with <command>config
-	-g</command>, include <option>DDB</option> into 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.
-      Now, on the debugging machine, go to the compile directory of the target
-      kernel, and start <command>gdb</command>:</para>
+    <para>You should configure the kernel in question with <command>config -g
+      </command> if building the "Traditional" way. If building the "New" way,
+      make sure the line 
+      
+      <programlisting>makeoptions DEBUG=-g</programlisting>
+      
+      is in the configuration. In both cases include <option>DDB</option> and 
+      <option>GDB</option> into 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. See the 
+      &man.sio.4; man page to see 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>  
 
     <screen>&prompt.user; <userinput>kgdb kernel</userinput>
 GDB is free software and you are welcome to distribute copies of it
--- kerneldebug-gdb-doc-update.patch ends here ---


>Release-Note:
>Audit-Trail:
>Unformatted:



More information about the freebsd-doc mailing list