[issue524] Making world with gcc41?

Matthew Dillon dillon at apollo.backplane.com
Tue Jan 23 22:00:11 PST 2007

:walt wrote:
:> 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?
:yes, that's exactly possible.  but with the vkernel, you can't debug hard=
:ware drivers.
:  simon

    Exactly.  You can even debug the vkernel with gdb on the process id
    (not kgdb).  Is that cool or what?

					Matthew Dillon 
					<dillon at backplane.com>

More information about the Bugs mailing list