Re: [seL4] Devel Digest, Vol 21, Issue 11