Re: [Xenomai] WARNING: at arch/arm/kernel/ipipe.c:157 ipipe_set_irq_affinity+0x47/0x70()

[Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>]

On Mon, Dec 01, 2014 at 11:06:58AM +0000, Terje Frøysa wrote:
> Thanks Gilles,
> 
> The Debian/Xenomai was solely chosen as a start-up scenario since I found a good recipe on the net.
> I am heading for Yocto and LFS (Linux From Scratch) for future embedded systems.
> 
> By the way.. When compiling kernel for Xenomai, I am advised to
> turn off CPU Frequency scaling "as it is known to cause trouble".

Yes, for two reasons: 

- because Xenomai timing system is counting on a fixed tsc (and
hardware timer) frequency. In the case of beaglebone, the tsc is
based on the gptimer, so if the gptimer frequency does not change
when changing the processor OPP, this is probably not an issue 

- because the execution time of real-time tasks change, this remains
an issue.


> 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.

These are part of the cpufreq-utils package.

> 
> What is the default BBB CPU frequency when frequency scaling is turned off?

All bets are off. This depends on the kernel implementation. On
OMAP3 (which is closed to BBB, normally), last time I checked (and
that was a long time ago), the kernel does not touch whatever PLL
settings U-boot did, with regard to cpu frequency.

If the kernel provides an access to the PLL settings in /proc, you
can check the various PLL frequencies and look-up in the processor
reference manual to what OPP this corresponds.

-- 
					    Gilles.