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 http://habeebr.bitbucket.org/