Synopsis: Kernel Fault and subsequently to ddb State-Changed-From-To: feedback->closed State-Changed-By: chs@netbsd.org State-Changed-When: Sun, 13 Feb 2005 17:53:01 +0000 State-Changed-Why: submitter reports that the problem is gone.