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:27:47
Hi all,

> 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();

Hmm... would say the IRQ system :( ... for the pmap_bootstrap code isnt
touched for some days ... the only changes there were in pmap were by me
and Ben removing code and changing DIAGNOSTIC->PMAP_DEBUG ... that code
was tested (and should work anyway!!!) ... so hmm... did really didn't see
the irq?

Could well be a function used by pmap-bootstrap that goes wrong ... hmm...

Cheers,
Reinoud