RPCEmu on Genode

[Michael Grunditz]

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 =
>     env.rm().attach(ds,
>                     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
> book:
>
>   https://genode.org/documentation/genode-foundations-20-05.pdf
>   https://genode.org/documentation/genode-foundations/20.05/index.html

I have been reading that book , and the header files.