The text d6aae197ab77, as Debian 10 (Buster) shipped it.
interactive kernel debugger
ddb(4freebsd) on Linux now
