carta

gdb(4freebsd) on Linux

The text 25d3bdfade23, as Debian 8 (Jessie) shipped it.

external kernel debugger

gdb(4freebsd) on Linux now