On Tue, 3 Feb 2009 23:02:50 +0000 raymond.meyer%rambler.ru@localhost wrote: > OK nevermind, I found how to get kernel crash dump > > I'm not sure how to use debugger, so far I got the following from the > crash dump: OK I figured it out and filed a PR, kern/40551.