Remove an obsolete link and rephrase section about debug options in kernel a bit.
authorluxh <luxh@web>
Tue, 8 Oct 2013 13:37:47 +0000 (13:37 +0000)
committerCharlie Root <root@leaf.dragonflybsd.org>
Tue, 8 Oct 2013 13:37:47 +0000 (13:37 +0000)
docs/user/DebugKernelCrashDumps.mdwn

index 9459c89..ee66ec6 100644 (file)
@@ -37,9 +37,9 @@ If you are unsure about your swap partition device, use [swapinfo(8)](http://lea
     /dev/ad0s1b             none            swap    sw              0       0
 
 
-### Enable debugging options in your kernel config 
+### Enable debugging options in your custom kernel config 
 
-If you don't know how to configure a custom kernel, look into [Configuring the DragonFly Kernel](kernelconfig.html).  You have to add the following lines to compile your kernel with debugging symbols:
+If you run a custom kernel you have to add the following lines to compile your kernel with debugging symbols:
 
     
 
@@ -56,6 +56,7 @@ If you want additional support for the interactive kernel debugger [ddb(4)](http
     options         INVARIANTS
 
 
+You don't have to do anything to get debugging enabled in the default GENERIC kernel as it's already there.
 
 ## How does a crash look like?