Re: Physical memory allocation to L4linux
Martin Schröder <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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.