From mboxrd@z Thu Jan 1 00:00:00 1970 References: <55DC76C7.5040606@xenomai.org> <55DC87AB.2040306@xenomai.org> <55DC940C.4000408@siemens.com> <55DCA0EB.6070905@xenomai.org> <55DCA714.5030609@xenomai.org> From: Jan Kiszka Message-ID: <55DCA7A3.5070805@siemens.com> Date: Tue, 25 Aug 2015 19:36:35 +0200 MIME-Version: 1.0 In-Reply-To: <55DCA714.5030609@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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Jorge Ramirez Ortiz , xenomai@xenomai.org On 2015-08-25 19:34, Jorge Ramirez Ortiz wrote: > On 08/25/2015 01:07 PM, Jorge Ramirez Ortiz wrote: >> On 08/25/2015 12:13 PM, Jan Kiszka wrote: >>> 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. > > > Looking at the device tree setting it seems to me it is using GICv2 > > drivers/irqchip/irq-gic.c > Really? I'm looking at upstream right now, and there is no "arm,gic-*" compatible string - in contrast to the hi6220. Jan -- Siemens AG, Corporate Technology, CT RTC ITP SES-DE Corporate Competence Center Embedded Linux