On Friday 18 January 2013, Vineet Gupta wrote: > +# If a plat can do IPI, same core(s) can do minimal SMP > +config ARC_HAS_IPI > + bool > + I think it would be better to turn the logic around here, otherwise you get into trouble when enabling multiple platforms, out of which some have IPI support and others don't. Instead, you can mark the platforms that lack IPI support (or multiple CPUs) as 'depends on !SMP'. Arnd -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
