The text d5740cb90d8a, as Debian 9 (Stretch) shipped it.
external kernel debugger
gdb(4freebsd) on Linux now
