Debugging vkernels with gdb

[Simon 'corecode' Schubert]

Matthew Dillon wrote:
    Yes.  Not even as if it were remote over a serial line... all you have
    to do is gdb the vkernel's process id.
    There is one issue, though... page faults that occur within the VKERNEL
    itself will be caught by GDB, so you will get a lot of breaks in the
    debugger that you have to 'cont' through.
Yea, nasty thing.  I usually do a "handle SIGSEGV noprint" which will 
make gdb ignore all SIGSEGVs.

cheers
  simon