[seL4] question about repo