On Fri, 9 Oct 2015, Marc Zyngier wrote: > The following changes since commit 049e6dde7e57f0054fdc49102e7ef4830c698b46: > > Linux 4.3-rc4 (2015-10-04 16:57:17 +0100) That's not the best base. tip irq/core already has gic modifications which conflict. Can you please rebase to tip irq/core? Thanks, tglx