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 <[email protected]> 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/ > -- Richard Habeeb Research Assistant, Computer Science, USF http://habeebr.bitbucket.org/
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
