On 08/11/2015 05:25 PM, Marc Zyngier wrote:
My branch, as far as I can tell by looking at my own git tree, is based on v4.2-rc2. As for "the LEG kernel", I have no idea what that is. I only work on this thing called "the Linux kernel". You may have heard of it!;-)
Then what is this:
git://git.linaro.org/leg/acpi/acpi.git ^^^
This is your tree, isn't it? Hanjun said, "Patches are on top of Marc's branch irq/gsi-irq-domain-v2, and available at: git://git.linaro.org/leg/acpi/acpi.git gsi-irqdomain".