>>>>> "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. -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
