Re: Granting flex pages in Fiasco.OC / L4Re
Daniel Waddington <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Organization | Samsung R&D |
| Message-ID | <[email protected]> |
Yes I can confirm that this (appears) to work. Thanks Daniel On 03/30/2012 01:47 AM, Christian Helmuth wrote: > Hi, > > On Wed, Mar 28, 2012 at 09:04:16AM -0700, Daniel Waddington wrote: >> Nearly want I want... but I am mapping physical pages to virtual >> memory - therefore the last parameter of l4_task_map is the target >> virtual address. This leaves no place for the L4_MAP_ITEM_GRANT >> flag. > Did you test it? I think it should also work for memory mappings since > the lower 12 bits of virtual-memory addresses are not significant for > the snd_base parameter. The sources in > > kernel/fiasco/src/kern/map_util-mem.cpp:54 and > kernel/fiasco/src/abi/l4_msg_item.cpp:161 > > hint this behavior. > > Greets _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers