Adam Lackorzynski adam at os.inf.tu-dresden.de
Fri Sep 6 00:23:47 CEST 2013

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.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list