Re: [seL4] other communications