Hello, On Wed, 21 Dec 2016 20:19:57 +0100, Thomas Gleixner wrote: > The mpic is either the main interrupt controller or sits behind a GIC. But > there is no way that both variants are available on the same system.
By "both variants", you mean the MPIC acting as the main interrupt controller on one side, and the MPIC acting as a "cascaded" controller, child of the GIC on the other side ? If that's what you meant, then indeed it's correct. Best regards, Thomas -- Thomas Petazzoni, CTO, Free Electrons Embedded Linux and Kernel engineering http://free-electrons.com