The text f943824d4b4d, as Debian 10 (Buster) shipped it.
external kernel debugger
gdb(4freebsd) on Linux now
