From mboxrd@z Thu Jan  1 00:00:00 1970
Subject: Re: xenomai 3.1/ipipe-core-4.19.128-cip28-arm-10.patch
From: Robert Berger <xenomai.list@gmail.com>
References: <3617ad4d-730b-189b-8dd5-02c768cab1c3@gmail.com>
Message-ID: <56740756-c8be-870e-181d-e4358089c0eb@gmail.com>
Date: Sat, 4 Jul 2020 22:03:18 +0300
MIME-Version: 1.0
In-Reply-To: <3617ad4d-730b-189b-8dd5-02c768cab1c3@gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
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: "Xenomai@xenomai.org" <xenomai@xenomai.org>

Hi,

Sorry there was a typo in the previous mail

On 04/07/2020 21:59, Robert Berger wrote:
> 
> all is good both with 4.19.x and 4.5.kernel.
> 

should be 4.19.x and 5.4.x kernels

Regards,

Robert