[issue1301] gdb vkernel doesn't work at all anymore

[Nicolas Thery (via DragonFly issue tracker)]

Nicolas Thery <nthery at gmail.com> added the comment:

I'll give this one a look as I fixed a similar bug in july.

----------
status: unread -> chatting

_____________________________________________________
DragonFly issue tracker <bugs at lists.dragonflybsd.org>
<http://bugs.dragonflybsd.org/issue1301>
_____________________________________________________