Granting flex pages in Fiasco.OC / L4Re

Daniel Waddington d.waddington at samsung.com
Fri Mar 30 18:54:04 CEST 2012


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120330/14bbc1c0/attachment.html>


More information about the l4-hackers mailing list