Hi all, I'm considering to buy a few UDOO 4cores boards. My only requirement is to to access a monotonic high resolution real time counter. Usually I use the function PAPI_get_real_usec from libpapi to read those values. papi supports ARM (driver perf_events), however I know for sure that other platforms (e.g. raspberry pi) does not support perf_events. I would be interested in the resolution of the timers, which can be read with the utility papi_clockres Does anyone know if it is supported by UDOO? If anyone installed papi, the result of papi_clockres would be really appreciated. Thank you in advance