Re: [seL4] seL4 IPC and SMP question.