Porting Fiasco + L4Re to Raspberry Pi 2

Antoine DEBUT 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:

Hello Adam,

> 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
more overlapping.

Thank you for your answer !

Best regards,

Antoine Debut

More information about the l4-hackers mailing list