Debugging vkernels with gdb

[Steve Mynott]

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

Cheers Steve