From mboxrd@z Thu Jan  1 00:00:00 1970
From: xenomai@xenomai.org
Subject: [I-PIPE] ipipe-core-4.19.124-cip27-arm64-07 released
Message-Id: <E1jeWII-0004yD-WE@xenomai.org>
Date: Fri, 29 May 2020 06:06:54 +0200
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

Download URL: https://xenomai.org/downloads/ipipe/v4.x/arm64/ipipe-core-4.19.124-cip27-arm64-07.patch

Repository: https://git.xenomai.org/ipipe-arm64
Release tag: ipipe-core-4.19.124-cip27-arm64-07