Synopsis: shark locks up during nightly run State-Changed-From-To: open->closed State-Changed-By: martin%NetBSD.org@localhost State-Changed-When: Thu, 19 Oct 2017 13:09:19 +0000 State-Changed-Why: The hard lockups did go away. Main changes : a new power supply, various pmap fixes