On 21 Oct 2014, at 20:22 , Peter Chubb <[email protected]> wrote:
>>>>>> "Yuxin" == Yuxin Ren <[email protected]> writes: > > Yuxin> Thank you all for your replies. But those > Yuxin> replies are confusing to me. My understanding is, IPC provided > Yuxin> by current sel4 kernel does not support communication between > Yuxin> two process on different cores. Is this true? > > Yes. The released verified seL4 kernel is single-core only. And, as Kevin said, any multicore support in the experimental branch is *very* experimental and may not be fully functional. A proper implementation isn’t far off, you’re probably better off waiting for that than wasting time with what’s in there right now. Gernot ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
