RPCEmu on Genode

[Norman Feske]

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);

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

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth