how to get timing information on seL4 user space
29 Nov
2016
29 Nov
'16
8:27 a.m.
Hi, all I want to get number of ticks, similar to jiffies in Linux, in the ARM seL4 user space. How can I do it? Are there existing libraries I can use? If not, what's the best way to implement it? thanks Peng
2876
Age (days ago)
2876
Last active (days ago)
0 comments
1 participants
participants (1)
-
PX