Granting flex pages in Fiasco.OC / L4Re

Christian Helmuth christian.helmuth at
Fri Mar 30 10:47:20 CEST 2012


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

hint this behavior.

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the l4-hackers mailing list