question about read clock API in ARM

박찬주 beastworld at
Sat Aug 6 18:29:43 CEST 2011

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,


More information about the l4-hackers mailing list