Re: [seL4] Devel Digest, Vol 41, Issue 33