/tmp/msg

svn path=/head/; revision=15623

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

@@ -9,7 +9,7 @@
   
   <para><emphasis>Contributed by &a.paul; and &a.joerg;</emphasis></para>
   
-  <sect1>
+  <sect1 id="kerneldebug-gdb">
     <title>Debugging a Kernel Crash Dump with <command>gdb</command></title>
     
     <para>Here are some instructions for getting kernel debugging
@@ -239,7 +239,7 @@
     </variablelist>
   </sect1>
   
-  <sect1>
+  <sect1 id="kerneldebug-ddd">
     <title>Debugging a Crash Dump with DDD</title>
     
     <para>Examining a kernel crash dump with a graphical debugger like
@@ -255,7 +255,7 @@
       <command>ddd</command>'s graphical interface.</para>
   </sect1>
   
-  <sect1>
+  <sect1 id="kerneldebug-post-mortem">
     <title>Post-Mortem Analysis of a Dump</title>
     
     <para>What do you do if a kernel dumped core but you did not expect it,
@@ -293,7 +293,7 @@
       cases.</para>
   </sect1>
   
-  <sect1>
+  <sect1 id="kerneldebug-online-ddb">
     <title>On-Line Kernel Debugging Using DDB</title>
     
     <para>While <command>gdb <option>-k</option></command> as an off-line debugger provides a very
@@ -498,7 +498,7 @@
       single-stepping the kernel.</para>
   </sect1>
   
-  <sect1>
+  <sect1 id="kerneldebug-online-gdb">
     <title>On-Line Kernel Debugging Using Remote GDB</title>
     
     <para>This feature has been supported since FreeBSD 2.2, and it is
@@ -564,7 +564,7 @@ Debugger (msg=0xf01b0383 "Boot flags requested debugger")
       window), etc.</para>
   </sect1>
   
-  <sect1>
+  <sect1 id="kerneldebug-kld">
     <title>Debugging Loadable Modules Using GDB</title>
     
     <para>When debugging a panic that occurred within a module, or
@@ -623,7 +623,7 @@ Reading symbols from /sys/modules/linux/linux.ko...done.
       module.</para>
   </sect1>
       
-  <sect1>
+  <sect1 id="kerneldebug-console">
     <title>Debugging a Console Driver</title>
 
     <para>Since you need a console driver to run DDB on, things are more