[I-PIPE] ipipe-core-5.4.119-arm-2 released

Michael Opdenacker michael.opdenacker at bootlin.com
Fri May 21 13:07:03 CEST 2021

Hi Jan,

On 5/21/21 11:35 AM, Jan Kiszka wrote:
> Yes:
> https://source.denx.de/Xenomai/xenomai/-/commit/18ab00b7b0c2c2d0ed1f560cf4fb4161f6e9bde6

Indeed, this fixes the kernel build, thanks!

> What's your Xenomai version? We likely need a 3.1.1 soon...

I'm using Xenomai 3.1.

Thanks again,


Michael Opdenacker, Bootlin
Embedded Linux and Kernel engineering

More information about the Xenomai mailing list