Re: [Xenomai] xenomai/ipipe arm64 port

[Jan Kiszka <jan.kiszka@siemens.com>]

On 2015-08-25 17:20, Jorge Ramirez Ortiz wrote:
> 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.

The Qualcomm thing is pretty ugly beast, using a proprietary interrupt
controller instead of the standard GIC as strongly recommended by ARM.
As an ARM kernel developer recently put it when I asked about this
board: "I prefer the Raspberry Pi2 over that one." And the Pi2 is
already broken in its design.

The HiKey looks better in this regard, but one has to check which of the
mentioned boards are already upstream (or very close to this). Same for
uboot support. No one should hack on vendor trees any more.

Jan

-- 
Siemens AG, Corporate Technology, CT RTC ITP SES-DE
Corporate Competence Center Embedded Linux