"Andrew Doran" wrote:

> The following reply was made to PR kern/36003; it has been noted by GNATS.
> 
>  I guess this is a DIAGNOSTIC kernel?

Yes, the evbarm/IQ80321 kernel config has DIAGNOSTIC enabled by default.

>  The sched_mutex has been locked and
>  something has failed to release it. There's no MI reason for that to occur
>  that I know of. It looks like there is a gxemul target for this machine,
>  so I'll give it a go when I get a chance.

I'm lazy - is there a "show locks" or similar ddb command that'll
help narrow this down?

Cheers,
Simon.