--- src/share/man/man7/vkernel.7 2007/03/16 13:42:11 1.13
+++ src/share/man/man7/vkernel.7 2007/03/30 09:08:57 1.14
@@ -175,6 +175,11 @@ while operating as a console which cause
internal
.Xr ddb 4
debugger.
+.Sh DEBUGGING
+It is possible to directly gdb the virtual kernel's process.
+It is recommended that you do a
+.Ql handle SIGSEGV noprint
+to ignore page faults processed by the virtual kernel itself.
.Sh EXAMPLES
A couple of steps are necessary in order to prepare the system to build and
run a virtual kernel.
@@ -258,10 +263,6 @@ cd /usr/obj/usr/src/sys/VKERNEL
The
.Xr reboot 8
command can be used to stop a virtual kernel.
-.Ss Debugging the kernel
-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
-taken by the virtual kernel itself (which it processes itself).
.Sh SEE ALSO
.Xr bridge 4 ,
.Xr tap 4 ,