Debugging vkernels with gdb

[Matthew Dillon]

:Is it possible to use kgdb to debug a vkernel as if it were remote
:over a serial line?
:
:Cheers Steve

    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.

					-Matt
					Matthew Dillon 
					<dillon at backplane.com>