I was wondering how you do get the execution time in seL4 if you are using
In the initial thread I can use the timer as it is shown in the tutorial
about timers since I do have the bootinfo, vka, allocman and so on.
But how do I use the timer to measure the execution time of the other
threads without stopping their execution to "pull" the time from the
initial thread? Is it possible to share the timer or create new ones in the
other threads? Or is there another way to measure the execution time?
Some background information:
The threads have different VSpace's and CSpace's.
Used tutorials: seL4-tutorial 4, seL4-tutorial timer.
The other threads do not have a bootinfo in their environment.