Mention ~/.gdbinit

diff --git a/docs/howtos/HowToDebugVKernels/index.mdwn b/docs/howtos/HowToDebugVKernels/index.mdwn
index 3dd1288..c79e77e 100644 (file)
--- a/docs/howtos/HowToDebugVKernels/index.mdwn
+++ b/docs/howtos/HowToDebugVKernels/index.mdwn
@@ -75,7 +75,16 @@ Let's get a trace of what went wrong:
     db> 
 
 # Gdb
-We attach to the vkernel process:
+Quoting from vkernel(7):
+
+It is possible to directly gdb the virtual kernel's process.  It is recommended that you do a `handle SIGSEGV noprint' to ignore page faults processed by the virtual kernel itself and `handle SIGUSR1 noprint' to ignore signals used for simulating inter-processor interrupts (SMP build only).
+
+You can add these two commands in my ~/.gdbinit to save yourself from typing them again and again.
+    [beket@sadness ~]$ cat ~/.gdbinit
+    handle SIGSEGV noprint
+    handle SIGUSR1 noprint
+
+So we are going to attach to the vkernel process:
 
     # ps aux | grep kernel
     root  25408  0.0  2.3 1053376 17772  p0  IL+   8:32PM   0:06.51 ./boot/kernel -m 64m -r rootimg.01 -I auto:bridge0