Question about ARM LPAE

li94575 li94575 at
Tue Mar 22 15:24:49 CET 2016

    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?
    thank you!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list