Subject: Re: kern/37558 (ddb reboot doesn't work)
To: None <joerg@NetBSD.org, kern-bug-people@netbsd.org,>
From: None <joerg@netbsd.org>
List: netbsd-bugs
Date: 12/18/2007 11:34:12 
Synopsis: ddb reboot doesn't work

Responsible-Changed-From-To: kern-bug-people->joerg
Responsible-Changed-By: joerg@netbsd.org
Responsible-Changed-When: Tue, 18 Dec 2007 11:34:11 +0000
Responsible-Changed-Why:
Responsible for PMF.

Is this after panic or with normal DDB?