Subject: Re: Today's kernel sources won't boot.
To: None <Richard.Earnshaw@arm.com>
From: Reinoud Zandijk <imago@kabel065011.kabel.utwente.nl>
List: port-arm32
Date: 03/01/2001 11:22:35
Hi Richard,

On Thu, 1 Mar 2001, Richard Earnshaw wrote:
> I just had time last night to establish that death occurs in rpc_machdep,
> somewhere near
>
>         /* Boot strap pmap telling it where the kernel page table is */
>         printf("pmap ");
>         pmap_bootstrap(kernel_l1pt.pv_va, kernel_ptpt);
>         console_flush();
>
>         /* Setup the IRQ system */
>         printf("irq ");
>         console_flush();

Oh thanks a lot !!! will see for changes in pmap and dependencies int the
last days... but i would apreciate all help tracking this down!! this is a
pretty annoying and somewhat disturbing ``feature'' ...

Thanks alot again :)
Cheers,
Reinoud