The text e6209ffcaefb, as FreeBSD 10.0-RELEASE shipped it.
external kernel debugger
gdb(4) on FreeBSD now
