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

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

>>> 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.
>>
>>
> You're kidding, right?

No quite serious. They donot seem to be making using KDASSERT in the
method. Just more so curious. Why is it not being used in FreeBSD.