Re: RPI2: Mutex related KASSERT when entering ddb(4)

[Stephan <stephanwib%googlemail.com@localhost>]

Got the trick: The device boots "kernel7.img", not "kernel.img". Once
I replaced that, it worked like expected.

Can/should that be pulled up into -7?

Thanks!

2015-10-04 12:55 GMT+02:00 Nick Hudson <skrll%netbsd.org@localhost>:
> On 10/02/15 12:30, Stephan wrote:
>>
>> Hmm, I grabbed a recent HEAD kernel from nyftp.netbsd.org, but I saw
>> the same issue.
>
>
> I don't see how - DIAGNOSTIC is not enabled in HEAD.
>
>>   I may have to build my own kernel to be sure the
>> change to usbdi.c is present.
>
>
> Probably best :)
>
>>
>> Does it work for you?
>
>
> There are almost certainly other KASSERTs that need adapting to polling.
>
> Nick
>