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