Hi again,

It seems there was a bug in my code that is resolved now. I see that the child process and worker threads are using the same CSpace now. Sorry to bother everyone,

Thanks,
Richard

On Mon, Oct 24, 2016 at 2:31 PM Richard Habeeb <richard.habeeb@gmail.com> wrote:
Hello all,

I am using seL4Utils to create some new processes. For these I am also transferring capabilities to some untyped kernel memory so that those processes can start their own worker threads and make endpoints. 

I've managed to get those threads started; however, I am a bit confused about how the CSpace is laid out now. My problem is that I want these worker threads to have capabilities to an endpoint created by the child process, but I can't figure out how to copy the cap. This is my TCB configure line.

error = seL4_TCB_Configure(THREAD_2_CAP, seL4_CapNull, seL4_MaxPrio, SEL4UTILS_CNODE_SLOT, seL4_NilData, SEL4UTILS_PD_SLOT, seL4_NilData, ipc_buffer_vaddr, THREAD_2_IPC_BUF_CAP);

Any guidance is appreciated. Thanks.
--
Richard Habeeb
Research Assistant, Computer Science, USF
--
Richard Habeeb
Research Assistant, Computer Science, USF
http://habeebr.bitbucket.org/