[seL4] Configuring CAmkES projects