search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

ARMv7 disables cyclec counters while reading #34

Open xurtis opened 3 years ago

xurtis commented 3 years ago

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

kent-mcleod commented 3 years ago

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

xurtis commented 3 years ago

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