Re: [seL4] Post-mutikernel approach to multiprocessor support?