From mboxrd@z Thu Jan  1 00:00:00 1970
Subject: Re: [I-PIPE] ipipe-core-5.4.119-arm-2 released
References: <d33f6074-8e95-d0d9-4153-261121d389cb@bootlin.com>
 <f069a3cb-88c6-c269-fdba-2c9029ce5e0c@siemens.com>
From: Michael Opdenacker <michael.opdenacker@bootlin.com>
Message-ID: <19b928a6-2192-534e-9dc0-174e789f8b21@bootlin.com>
Date: Fri, 21 May 2021 13:07:03 +0200
MIME-Version: 1.0
In-Reply-To: <f069a3cb-88c6-c269-fdba-2c9029ce5e0c@siemens.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Content-Language: en-US
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <https://xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <https://xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: Jan Kiszka <jan.kiszka@siemens.com>, xenomai@xenomai.org

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