You can get the timer counter from l4_kernel_info_t in the kernel interface page in the file l4sys/include/__kip-32bit.h in the L4Re programming environment. Cheng On Sun, Aug 7, 2011 at 12:29 AM, 박찬주 <beastworld@gmail.com> wrote:

Hello, I'm newbie in L4 and now i'm trying to find out how to get system clock info. My test environment is QEMU,  ARM realview EB.

In fiasco kernel, there is a function to read system's clock     Clock::read_count(){ return Io::read<Mword>(SYS_24MHZ); }

then how can I use this in l4re application? Is there any related API in l4re?

Thanks in advance,

david

_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers