[seL4] what are these comments meaning