Re: Current build of netbsd for rpi is unable to boot

[Sujit K M <sjt.kar%gmail.com@localhost>]

On Sat, Apr 12, 2014 at 8:40 PM, Sujit K M <sjt.kar%gmail.com@localhost> wrote:
> On Sat, Apr 12, 2014 at 8:30 PM, Sujit K M <sjt.kar%gmail.com@localhost> 
> wrote:
>> On Sat, Apr 12, 2014 at 3:48 PM, Joachim Thiemann
>> <joachim.thiemann%gmail.com@localhost> wrote:
>>> Hello again, Im actually seeing a kernel panic for the second time now:
>>>
>>> panic: kernel debugging assertion "mappings <= l2b->l2b_occupancy" failed:
>
> I guess the pmap_kremove is having a null pointer when the
> KDASSERT(mappings <= l2b->l2b_occupancy); is being checked for
>                                       ^^^^
>
> Mostly null.

http://fxr.watson.org/fxr/source/arm/arm/pmap.c?v=FREEBSD7

If you look at FreeBSD Implementation it is a lot different. I thought it
might be more helpful.