Posted on 2007/02/05 by Justin SherrillDebugging a vkernel It’s very easy to debug a virtual kernel, using gdb, with one caveat/fix.