rt_task_set_priority does not increase priority of other task

Harco Kuppens h.kuppens at cs.ru.nl
Thu Sep 17 15:59:10 CEST 2020

On 17/09/2020 15:31, Jan Kiszka wrote:
> We maintain the demo image generator
> https://gitlab.denx.de/Xenomai/xenomai-images. There is no raspi target
> yet, but it would likely make sense to add one eventually so that you
> can easily generate SD card images, or even add own customizations on
> top. I'm happy to explain more if there is interest.
Adding a raspi target would be great!

The problem with the raspberry pi is that they don't use the vanilla 
kernel source,
but have their own patched kernel in a git repo. Then you have to apply 
the ipipe patch, and
a patch to get gpio to work. After some hacking I got it working,
but there was still a problem with interrupts in the pipeline not 
getting through to linux.
I reported that at the mailinglist:
but it never got resolved. But anyway, xenomai was working with xenomai,
so we could use it in the course. The only thing is that because the 
interrupts are not reaching
linux you still have less confidence in the image.
My installation instructions are also linked at 

There is even a raspberrypi 4, but I couldn't that get to work with 
xenomai3 with gpio support.
Others seem to have more succes later: 
They also needed to do extra patching.

However it would be great if the raspberry pi would be officially 
supported, because
it is a very well known platform nowadays. Ideal for practica in teaching.

Finally it must be noted that the virtualbox image is just for intel 
architecture and
that was easy to setup without any hacking. There the problem with 
raising the priority
also happens, so the problem is unrelated to any problems with my rpi image.

> Jan

More information about the Xenomai mailing list