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