The text 25d3bdfade23, as FreeBSD 10.1-RELEASE shipped it.
external kernel debugger
gdb(4) on FreeBSD now
