rt_task_set_priority does not increase priority of other task
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
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
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
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.
More information about the Xenomai