From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <55DC87AB.2040306@xenomai.org>
Date: Tue, 25 Aug 2015 11:20:11 -0400
From: Jorge Ramirez Ortiz <jro@xenomai.org>
MIME-Version: 1.0
References: <CAJqUr7ybpmgOev-iPaQ-iMEAF8SBocn54vyYSbLcm9spMY=FBg@mail.gmail.com>
 <55DC76C7.5040606@xenomai.org>
In-Reply-To: <55DC76C7.5040606@xenomai.org>
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 <xenomai.xenomai.org>
List-Unsubscribe: <http://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: <http://xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: xenomai@xenomai.org

On 08/25/2015 10:08 AM, Philippe Gerum wrote:
> On 08/25/2015 02:13 AM, Don Mahurin wrote:
>> Hi all,
>>
>> We would like to submit our current work on the arm64 port of
>> ipipe/xenomai. We hope that this contribution will encourage further
>> development of arm64 support in ipipe/xenomai.
>>
> 
> arm64 support is definitely a high priority item. Thanks for tackling this.

There are a numbers of cheap (<100USD) and well documented aarch64 boards [1]
that could be used as a reference platform (different SoC vendors)
I'd suggest we use Qualcomm's Dragon 410c.


[1] https://www.96boards.org/