Physical memory allocation to L4linux

Masti Ramya Jayaram rmasti at
Tue Sep 9 11:39:06 CEST 2014

Hi all,

I start l4linux by specifying 64M on memory in its configuration file. I would like this memory to be a fixed  range of physical memory and I was wondering if there is a way to do it.

I understand from my earlier posts that the image of l4linux is in the same location everytime because the boot loader puts it there. I am not referring to this memory. I am concerned with the 64M that will potentially get allocated to l4linux.

Thanks in advance,

More information about the l4-hackers mailing list