[okl4-developer] System clock

[Matthew Warton]

Hi Peter,

This was removed from the kernel when IPC timeouts were removed, so  
that the kernel now has no concept of the system time.

The best thing to do is use the timer server in iguana.  Basically:

#include <timer/timer.h>
timer_init();
uint64_t time = timer_current_time();


You will also need to include the timer library in you Sconscript for  
your application to link against the timer client library. (for  
example see iguana/test/SConscript).

See libs/timer/test for more examples of timer library use.

Cheers,
Matthew Warton

On 26/10/2007, at 2:18 PM, Peter Nguyen wrote:

> 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
>
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
>