My greatest wish of all would be for a _true_ kernel debugger - similar
to SCO's scodb.
Kernel GDB already works on every port except the Intel, which
supplies full source level snooping of a live kernel. The Intel stuff
could be very easily coded if someone wanted to, using the Serial port
code David-MT used for the Alpha port etc.
Later,
David S. Miller
dm@sgi.com