On Mon, Jun 02, 2014 at 10:29:13AM +0100, Russell King - ARM Linux wrote: > On Mon, Jun 02, 2014 at 11:21:02AM +0200, Antoine Ténart wrote: > > diff --git a/arch/arm/mach-berlin/Kconfig b/arch/arm/mach-berlin/Kconfig > > index d3c5f14dc142..e3733692f67a 100644 > > --- a/arch/arm/mach-berlin/Kconfig > > +++ b/arch/arm/mach-berlin/Kconfig > > @@ -4,6 +4,7 @@ config ARCH_BERLIN > > select GENERIC_IRQ_CHIP > > select DW_APB_ICTL > > select DW_APB_TIMER_OF > > + select SMP > > Please don't add selects of symbols which aren't absolutely necessary. > > Since this has been merged without SMP support and presumably works without > SMP support, it would appear that SMP support is not mandatory for the > platform to work. It can work without SMP, I'll remove this. Antoine -- Antoine Ténart, Free Electrons Embedded Linux, Kernel and Android engineering http://free-electrons.com -- 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
