Hello, I am wondering is there any particular reason why Cap::move() uses L4_FPAGE_RWX instead of a mask of all bits? l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_FPAGE_RWX), snd_base(L4_MAP_ITEM_GRANT)); Shouldn't L4_FPAGE_RWX be replaced with L4_CAP_FPAGE_RWSD in order to not restrict rights artificially? I am seeing subtle differences in application behavior in a scenario of mine... Daniel
On Thu Sep 05, 2013 at 15:51:20 +0200, Daniel Müller wrote:
I am wondering is there any particular reason why Cap::move() uses L4_FPAGE_RWX instead of a mask of all bits?
l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_FPAGE_RWX), snd_base(L4_MAP_ITEM_GRANT));
Shouldn't L4_FPAGE_RWX be replaced with L4_CAP_FPAGE_RWSD in order to not restrict rights artificially? I am seeing subtle differences in application behavior in a scenario of mine...
Yes, makes sense. Thanks, Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
participants (2)
-
Adam Lackorzynski -
Daniel Müller