debugging kernel threads

[Richard Nyberg <rnyberg@xxxxxxxx>]

I often use gdb's proc command to switch between different processes
when debugging kernel cores. Now I want to debug a kernel thread
and it doesn't seem to work. Does anyone know how to switch to a
kernel thread? Maybe proc could be tweaked to work for threads too.

        -Richard