From mboxrd@z Thu Jan 1 00:00:00 1970 References: <55E5E453.1080400@xenomai.org> <55E5F849.1070708@xenomai.org> <55E5FB89.3080604@xenomai.org> <55E60743.30600@xenomai.org> From: Philippe Gerum Message-ID: <55EDB550.2000501@xenomai.org> Date: Mon, 7 Sep 2015 18:03:28 +0200 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai] xenomai/ipipe arm64 port List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Don Mahurin , Jorge Ramirez Ortiz Cc: "xenomai@xenomai.org" On 09/02/2015 02:43 AM, Don Mahurin wrote: > ipipe - ipipe-3.14.44-arm64 > This branch is available as is, as devel/ipipe-3.14.44-arm64 in the mainline tree. Thanks, -- Philippe.