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 -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth