Re: [Xenomai] [PATCH] fixes for rpi 2b build

On 02/06/2018 05:09 AM, Greg Gallagher wrote: Small fix ups to enable building multi_v7_defconfig --- drivers/gpio/gpio-mvebu.c | 1 + drivers/gpio/gpio-pl061.c | 1 + drivers/gpio/gpio-zynq.c | 2 +- drivers/irqchip/irq-atmel-aic5.c | 6 -- drivers/irq

[Xenomai] Patched kernel headers - are they needed afterwards for gibc and more?

Hello, A script with patches together a kernel, ipipe and xenomai kernel drivers. Result is the packages to install the kernel image. A buildroot configuration will build the rootfs, without * using the identical kernel version (different patch level) * using headers that were used for build

Re: [Xenomai] Isolation of CPU (isolcpus=1). Unexpected better performance when RT thread is on core0.

On 02/05/2018 04:50 PM, Yann le Chevoir wrote: Hello, I am an engineering student and I try to proof that a 4000Hz hard real-time application can run on an ARM board rather than on a more powerful machine. I work with an IMX6 dual-core and Xenomai Cobalt 3.0.4. I use POSIX skin. By the way, I f