--- src/share/man/man7/vkernel.7	2007/02/03 11:38:25	1.8
+++ src/share/man/man7/vkernel.7	2007/02/04 17:24:56	1.9
@@ -231,6 +231,10 @@ 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 ,