Re: [seL4] what are these comments meaning