Re: [seL4] some questions about camkes-manifest