Re: [seL4] sharing memory between processes