Daniel.Mueller at mailbox.tu-dresden.de
Thu Sep 5 15:51:20 CEST 2013
I am wondering is there any particular reason why Cap::move() uses
L4_FPAGE_RWX instead of a mask of all bits?
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
More information about the l4-hackers