Physical memory allocation to L4linux

Masti Ramya Jayaram rmasti at
Tue Sep 9 13:18:35 CEST 2014

Hey Martin,

thanks for that tip. How do I use this device for L4linux though (and only for it)? I am not sure where memory allocation occurs when L4linux faults or if it is pre-allocated completely to L4linux. 

From: l4-hackers [l4-hackers-bounces at] on behalf of Martin Schröder [martin.schroeder at]
Sent: 09 September 2014 11:56
To: l4-hackers at
Subject: Re: Physical memory allocation to L4linux

Hi Ramya,

Am 09.09.2014 um 11:39 schrieb Masti Ramya Jayaram:
> 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.

MYRAM => new Device() {
   .hid= "myram";
   new-res Mmio(0x10000000 .. 0x13FFFFFF, 0xC000);


Best regards,

l4-hackers mailing list
l4-hackers at

More information about the l4-hackers mailing list