On Wed, 27 Aug 2014, Marc Zyngier wrote: > I very much like that kind of approach. Stacking domains seems to solve > a number of issues at once: > > - NVIDIA's gic extension > - TI's crossbar > - ARM's GICv2m > - Mediatek's glorified line inverter > - ... and probably the next madness that's going to land tomorrow Its probably already there you just don't know about it yet :) > I haven't completly groked the way we're going to allocate domains and > irq_data structures, but this is definitely something worth All we have for now is a rough idea and some pseudo code in my lengthy reply to Jiang, but it shouldn't be hard to implement something useful. Thanks, tglx -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html