I know I can turn on KDB to do symbolic debugging in the kernel, but is
there anything available to do source-level debugging? (I know gdb is
capable of this, as I've seen it on an embedded system, but don't know if
that's working on NetBSD's kernel, or (if not) what it would take to make
it work).