The text a2a939fbcc13, as FreeBSD 10.1-RELEASE shipped it.
interactive kernel debugger
ddb(4) on FreeBSD now
