[seL4] seL4 & camkes questions