[seL4] rumprun + rust + camkes