Note about dports abi defaults
[ikiwiki.git] / docs / user / DebugKernelCrashDumps.mdwn
index 9459c89..9ac091b 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? 
 
@@ -126,7 +127,7 @@ If you don't have the ability or skills to debug are crash yourselves, please up
 
 The [kgdb(1)](http://leaf.dragonflybsd.org/cgi/web-man?command#kgdb&section1) utility is a debugger based on gdb(1) that allows debugging of kernel core files.
 
-### kgdb extesions 
+### kgdb extensions 
 
 To get some handy helper command execute the following command before starting kgdb: