Re: [seL4] Configuring CAmkES projects