j
k
j a
j l
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
Attachments:
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites