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.
Best, ramya ________________________________________ From: l4-hackers [[email protected]] on behalf of Martin Schröder [[email protected]] Sent: 09 September 2014 11:56 To: [email protected] 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); } [http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006617.html] Best regards, Martin. _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
