> By the way.. When compiling kernel for Xenomai, I am advised to turn off CPU 
> Frequency scaling "as it is known to cause trouble".
> When enabled I could inspect and set the CPU clock frequency by the 
> "cpufreq-info" and "cpufreq-set".
> These tools are no longer available and I don't find any settings in the 
> menuconfig.
>
> What is the default BBB CPU frequency when frequency scaling is turned off?

>From my experience with the BBB and Xenomai:
The default CPU frequency with frequency scaling turned off is 600
MHz. This was not acceptable for me since the BBB supports 1000 Mhz.
So, I left frequency scaling on in the kernel, but set the default
mode to "performance" (always runs the CPU at max frequency). Issue
with this is that the mode still gets reset to "ondemand" every now
and then (I have no clue as to why). So, I configured the kernel with
frequency scaling on, the default mode set to "performance" and all
other modes disabled. This seems to work without issues with Xenomai.

Kind regards,
Hidde Verstoep

_______________________________________________
Xenomai mailing list
Xenomai@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai

Reply via email to