Porting Fiasco + L4Re to Raspberry Pi 2
adebut at pactenovation.fr
Mon Feb 29 10:59:40 CET 2016
On Mon, 29 Feb 2016 00:47:11 +0100
Adam Lackorzynski <adam at os.inf.tu-dresden.de> wrote:
> If memory shall go from 0-0x3fffffff, then 0x3F000000 overlaps with
> that. Better give a bit less than 1024M, that could help.
Yes, that was the point I was missing, and it was actually the error.
The correct RAM size is indeed 940MB instead of 1024MB, so there is no
Thank you for your answer !
EPITA 2016 - GISTRE
More information about the l4-hackers