Question about ARM LPAE

Adam Lackorzynski adam at
Thu Mar 24 23:41:45 CET 2016


On Tue Mar 22, 2016 at 22:24:49 +0800, li94575 wrote:
>     I want to use the ARM LPAE in Fiasco.OC, may I need to modify the start code of l4re? The board supports two DDR3 channels, and each channel supports
> two chip-selects. I need to use the memory device on CS0 populated for each channel. One memory rang is from 0x00000000 to 0x3fffffff, the anther is from
> 0x100000000 to 0x13fffffff. How can sigma0 see both of them?

With the current 32bit setup the second part won't be accessible as it
goes beyond the 4GB space. Making this memory usable on 32bit could be
done with some (very hacky) changes but commonly thoughts are that such
an effort would be better spent for 64bit that does not have any such

Adam                 adam at

More information about the l4-hackers mailing list