9 Dec
2014
9 Dec
'14
9:42 p.m.
Hi,
On Tue, Dec 09, 2014 at 11:12:24PM +0800, li94575 wrote:
If I only give the reading permission for the object, How to perform permission checking on server side?
Why do you want to do that? In Genode the Ipc_gate information is used only as a key to lookup the corresponding Rpc_object. The Rpc_object contains all relevant information about the server resource the client is about to access. The right bits of base-foc stay unused in Genode.
Greets
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth