Hey Martin,
I would like to explain my situation better. Here is what I intend:
a. What is the lowest module (bootstrap, fiasco, sigma, moe, ned,l4linux) that
can be confined not access a portion of the address space?
I know that bootstrap and fiasco run in privileged mode, so there is no way to
stop them. What is the next module?
b. Assuming that it is sigma, I would like to do the following:
Have three regions in the physical address space (not necessarily memory):
i) one for bootstrap, fiasco
ii) moe, ned, sigma, l4linux
iii). Special region accessible only from (i) - bootstrap and fiasco.
If it is not possible to confine sigma, i.e., "hide a portion of the address
space from it", then add sigma to lists (i,iii) and remove it from (ii) - and
so on for the other modules.
If it is moe, could my goal be reached by adding an IO device as a blocker but
then not give moe the corresponding capability?
Sorry for the confusion and thanks a lot for your help,
Ramya
________________________________________
From: l4-hackers [l4-hackers-boun...@os.inf.tu-dresden.de] on behalf of Masti
Ramya Jayaram [rma...@inf.ethz.ch]
Sent: 09 September 2014 13:18
To: Martin Schröder; l4-hackers@os.inf.tu-dresden.de
Subject: RE: Physical memory allocation to L4linux
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 [l4-hackers-boun...@os.inf.tu-dresden.de] on behalf of Martin
Schröder [martin.schroe...@openlimit.com]
Sent: 09 September 2014 11:56
To: l4-hackers@os.inf.tu-dresden.de
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
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
