[thread about gdb -k continued from current-users]

Quoting Chris G Demetriou,

> unfortunately, it doesn't actually _work_ (on either live or dead
> kernels), on the x86.  *sigh*

> anybody with an i386 who experiences system crashes want to make it
> work?  8-)

Actually, it used to work on 1.0 (just tried it), but not anymore in -current
("Cannot read ebx, esi, and edi"). Didn't really look at what is happening
there (so far).

- Frank