Hello,

I do not have the time to try it myself, just commenting:

Da Zheng, le Tue 11 May 2010 09:35:34 +0800, a écrit :
> Linux drivers use jiffies to measure time. Unfortunately, Mach doesn't
> provide it

Mmm, but Mach's time device provides a read-only page where the current
time is available. Isn't that enough?

Samuel

Reply via email to