L4::Cap::move
Daniel Müller <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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