Re: [seL4] 答复: sel4 on multi-core

On 21 Oct 2014, at 20:22 , Peter Chubb wrote:

...

...

...

...

...

"Yuxin" == Yuxin Ren 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.