Re: Physical memory allocation to L4linux

2014-09-16 Thread Masti Ramya Jayaram
Hey Adam, Yes I can confirm that I was a able to trace the code from fpage_map() to map() but I see zero addresses there - i.e. When I check the receiver and sender addresses and size everything is zero. This was despite it being correct until the handle_sigma0_request() function in

Re: Physical memory allocation to L4linux

2014-09-15 Thread Masti Ramya Jayaram
Hey Adam, Thanks for the input. I will try changing one of the suggested functions. It would be great out of curiosity if you could elucidate why the following occurs. I see that there is a new iomem region being created and this happens only when I try to read from the mapped region - not

Re: Physical memory allocation to L4linux

2014-09-15 Thread Adam Lackorzynski
Hi, On Mon Sep 15, 2014 at 18:25:37 +, Masti Ramya Jayaram wrote: Thanks for the input. I will try changing one of the suggested functions. It would be great out of curiosity if you could elucidate why the following occurs. I see that there is a new iomem region being created and

Re: Physical memory allocation to L4linux

2014-09-14 Thread Adam Lackorzynski
On Wed Sep 10, 2014 at 07:46:20 +, Masti Ramya Jayaram wrote: thanks a lot for the replies. I still have a few questions/clarifications though. :-) a. Is there a way to implement the MODE=sigma for linux? I could not find anything that points to it. That could be done but would

Re: Physical memory allocation to L4linux

2014-09-14 Thread Adam Lackorzynski
On Fri Sep 12, 2014 at 16:34:17 +, Masti Ramya Jayaram wrote: I realized that the best place to modify sigma0's capabilities are when it is created. I see that this happens in kernel/fiasco/src/kern/kernel_thread-std.cpp in the init_workload() function. I do not exactly understand how

RE: Physical memory allocation to L4linux

2014-09-12 Thread Masti Ramya Jayaram
, Ramya From: Masti Ramya Jayaram Sent: 10 September 2014 16:07 To: Adam Lackorzynski; l4-hackers@os.inf.tu-dresden.de Subject: RE: Physical memory allocation to L4linux Update: Sorry, I misunderstood a few things in the previous email. The change

RE: Physical memory allocation to L4linux

2014-09-11 Thread Masti Ramya Jayaram
From: Masti Ramya Jayaram Sent: 10 September 2014 16:07 To: Adam Lackorzynski; l4-hackers@os.inf.tu-dresden.de Subject: RE: Physical memory allocation to L4linux Update: Sorry, I misunderstood a few things in the previous email. The change was in fiasco and not sigma

RE: Physical memory allocation to L4linux

2014-09-10 Thread Masti Ramya Jayaram
-dresden.de] on behalf of Adam Lackorzynski [a...@os.inf.tu-dresden.de] Sent: 09 September 2014 23:16 To: l4-hackers@os.inf.tu-dresden.de Subject: Re: Physical memory allocation to L4linux On Tue Sep 09, 2014 at 16:03:11 +, Masti Ramya Jayaram wrote: I would like to explain my situation

RE: Physical memory allocation to L4linux

2014-09-10 Thread Masti Ramya Jayaram
2014 09:46 To: Adam Lackorzynski; l4-hackers@os.inf.tu-dresden.de Subject: RE: Physical memory allocation to L4linux Hey Adam, thanks a lot for the replies. I still have a few questions/clarifications though. :-) a. Is there a way to implement the MODE=sigma for linux? I could not find anything

Re: Physical memory allocation to L4linux

2014-09-09 Thread Martin Schröder
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=

RE: Physical memory allocation to L4linux

2014-09-09 Thread Masti Ramya Jayaram
-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

Re: Physical memory allocation to L4linux

2014-09-09 Thread Adam Lackorzynski
On Tue Sep 09, 2014 at 16:03:11 +, Masti Ramya Jayaram wrote: 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? Without changing