On a related note we're restricted when it comes to post-mortem analysis. I
think that minidumps, multi-CPU support in the core file format and limited
debug symbols in the kernel binary would go a long way to solving that.

I have heard that compiling one file with -g, and including often used
headers like proc.h in it would be enough to make the data structures
available to gdb. Is that true? Is there something else we can do?

Thanks,
Andrew