The text a2a939fbcc13, as Debian 8 (Jessie) shipped it.
interactive kernel debugger
ddb(4freebsd) on Linux now
