seL4_libs icon indicating copy to clipboard operation
seL4_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

ARMv7 disables cyclec counters while reading

Open xurtis opened this issue 3 years ago • 2 comments

ARMv7 currently disables cycle counters while reading the cycle counter values. If the task reading the values is preempted during the read than all time during the preemption is not included in the cycle counts.

Fix needed should be similar to #32

xurtis avatar May 18 '21 05:05 xurtis

Are you happy to add the fix for this to #32 also

kent-mcleod avatar May 20 '21 23:05 kent-mcleod

I'm very short on time at the moment and would prefer to get #32 merged as is

xurtis avatar May 20 '21 23:05 xurtis