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