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