CPU frequency on i.MX53 QSB?

[David Goltzsche]

Hi everyone,

I still use my setup based on the tz_vmm runscript.

I want to obtain the current cpu frequency in both secure and normal
world.

In linux, the sysfs directories for the cpu are empty. How can i read
the current CPU frequency in genode?

Maybe dynamic frequency scaling in unsupported and I can assume the CPU
to always run at max frequency (1GHz in this case)?

thanks!

David