From mboxrd@z Thu Jan  1 00:00:00 1970
From: tn@semihalf.com (Tomasz Nowicki)
Date: Wed, 10 Feb 2016 09:55:04 +0100
Subject: [PATCH V3 00/10] Introduce ACPI world to GICv3 & ITS irqchip
In-Reply-To: <1453209083-3358-1-git-send-email-tn@semihalf.com>
References: <1453209083-3358-1-git-send-email-tn@semihalf.com>
Message-ID: <56BAFAE8.4070308@semihalf.com>
To: linux-arm-kernel@lists.infradead.org
List-Id: linux-arm-kernel.lists.infradead.org

On 19.01.2016 14:11, Tomasz Nowicki wrote:
> Patches base on Suravee's ACPI GICv2m support:
> https://lkml.org/lkml/2015/12/10/475
>
> The following git branch contains submitted patches along with
> the useful patches from the test point of view (mainly ACPI ARM64 PCI support).
> https://github.com/semihalf-nowicki-tomasz/linux.git (gicv3-its-acpi-v3)
>

Hi Marc,

Can you please have a look at this series. I think your previous 
concerns have been addressed.

Tomasz