Re: [seL4] Some comments.