Re: [seL4] Devel Digest, Vol 76, Issue 8