Performance Counters on i.MX53

Hi list!

I want to use performance Counters on the i.MX QSB for measuring the trustzone world switch. My setup is based on the tz_vmm runscript.

In the non-secure (Linux) world, the performance counter works. However, Genode stops with the warning "undefined instruction". Both the MCR and MRC instruction seem to be undefined. I tested my own assembler lines as well as the perf_counter implementation in the base-hw kernel.

So, how do I use the instructions mentionend above?

Thanks!

David