Re: Debugging vkernels with gdb

["Simon 'corecode' Schubert" <corecode@xxxxxxxxxxxx>]

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