[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.

-- 
Michael Opdenacker, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com




More information about the Xenomai mailing list