Formatting

diff --git a/docs/howtos/HowToDebugVKernels/index.mdwn b/docs/howtos/HowToDebugVKernels/index.mdwn
index c79e77e..d3b703d 100644 (file)
--- a/docs/howtos/HowToDebugVKernels/index.mdwn
+++ b/docs/howtos/HowToDebugVKernels/index.mdwn
@@ -80,6 +80,7 @@ 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