Simon 'corecode' Schubert wrote: .. >> http://leaf.dragonflybsd.org/~pavalos/gcc41-kernel.crash
> Okay, I fixed it... > After some time of bug searching (qemu with gdbserver being *very* > helpful)... Hi Simon, After reading some of the recent posts about vkernel I began to think that vkernel might be a good tool to find bugs like this. Maybe even to debug my mount_smbfs panic? I dunno, what do you think?
