Synopsis: kernel crash on shutdown when system power off State-Changed-From-To: open->feedback State-Changed-By: drochner%NetBSD.org@localhost State-Changed-When: Tue, 31 Mar 2009 17:20:38 +0000 State-Changed-Why: can you try with OsdSchedule.c rev. 1.10?