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". 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? Best regards Terje -----Original Message----- From: Gilles Chanteperdrix [mailto:[email protected]] Sent: 1. desember 2014 09:50 To: Terje Frøysa Cc: [email protected] Subject: Re: [Xenomai] WARNING: at arch/arm/kernel/ipipe.c:157 ipipe_set_irq_affinity+0x47/0x70() On Mon, Dec 01, 2014 at 08:26:37AM +0000, Terje Frøysa wrote: > Thanks Gilles, > > I don't know why the debian kernel for the Sitara have SMP enabled. > It sounds like a good idea to turn it off then... Note that if you want to be able to recompile your kernel fast, you should not be using a Debian kernel configuration anyway, but a configuration with just the options you need enabled. This makes a big difference on compilation time, a small difference on memory footprint, and a big difference on root file system footprint. -- Gilles. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
