On Thu, 15 Oct 2020 at 17:24, Norman Feske <[email protected]> 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. _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
