RPCEmu on Genode
michael.grunditz at gmail.com
Thu Oct 15 19:59:27 CEST 2020
On Thu, 15 Oct 2020 at 17:24, Norman Feske <norman.feske at genode-labs.com> wrote:
> Hi Michael,
> > Or not. I don't know about Dataspace_capabilities. What is it and how
> > can I get it?
> here is a small example of allocating a RAM dataspace and attaching it
> to the local address space:
> Dataspace_capability ds = env.pd().alloc(4096);
> void *local_ptr =
> 0, /* map entire dataspace */
> 0, /* no offset within dataspace */
> false, /* ignore local addr */
> (void *)0, /* local addr */
> true, /* executable */
> true /* writeable */);
> log("RAM dataspace locally mapped at ", local_ptr);
Thanks for the example , however .. I didn't say at first , the engine
already has a area and uses mprotect on it.
So now passing local address -> region conflict error.
> For the underlying concepts, let me refer you to the Genode Foundations
I have been reading that book , and the header files.
More information about the users