Comment bug in locore.S?

[Mark Tinguely]

>  > > How about saving the jump address in another register also before the jump:
>  > > 
>  > > 	ldr	r10, .Lvirt_done
>  > > 	ldr	pc, .Lvirt_done
>  > 
>  > I tried this but used r9, anyway the register isn't used otherwise and
>  > it's contents is R09=c00002a4 after qemu crashes. Is it possible that
>  > this would be the right address if the kernel would start at 0x30000000
>  > and not on 0x30008000 physical address? 
>
>  Ah good point. KERNVIRTADDR should be 0xc0008000, not 0xc0000000.
>  As we're mapping it with sections, we don't have enough granularity to map it
>  to 0xc0000000.

Wouldn't it be more appropriate to start the physical/virtual address
on a L1 boundary (1 MB) rather than on a 32K boundary?

I notice the style of the Xscale ports to put the physical address of
of the startup L1 before the kernel, and the at91 ports to put this
address after the kernel.

--Mark Tinguely.