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