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

[Michael Opdenacker]

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