Re: [seL4] seL4 - getting the execution time of different threads