+This db> prompt is from [ddb(4)](http://leaf.dragonflybsd.org/cgi/web-man?command=ddb&section=4), the interactive kernel debugger.

The

fault virtual address = 0x0

@@ -80,7+80,7 @@ The last hex value is the instruction address. Since ddb doesn't really know how

# Gdb

-Quoting from vkernel(7):

+Quoting from [vkernel(7)](http://leaf.dragonflybsd.org/cgi/web-man?command=vkernel&section=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).