7 Aug
2011
7 Aug
'11
8:59 a.m.
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