[okl4-developer] System clock

Peter Nguyen peter.nguyen at adelaide.edu.au
Fri Oct 26 14:18:56 EST 2007


Hi,

I was wondering whether there is a function that will allow me to obtain
the system clock value.  I know that in other versions of pistachio,
there was a function called L4_SystemClock() (i think) that retrieve the
current system clock value.

Peter



More information about the Developer mailing list