The text c6e9f5c0342b, as Debian 5.0 (Lenny) shipped it.
external kernel debugger
gdb(4freebsd) on Linux now
