Hi Sebastian,[...]
On Tue, 2013-10-08 at 14:24 +0200, Sebastian Hesselbarth wrote:This adds initial support for the Marvell Berlin (88DE3xxx) SoC family
and basic machine setup for Armada 1500 (88DE3100) SoCs.
+config MACH_MV88DE3100
+ bool "Marvell 88DE3100 (Armada 1500)"
+ select ARM_GIC
+ select CACHE_L2X0
+ select CPU_PJ4B
+ select HAVE_ARM_TWD if LOCAL_TIMERS
+ select HAVE_SMP
+ select LOCAL_TIMERS if SMP
I think because of commit:
a894fcc2d [ARM: smp_twd: Divorce smp_twd from local timer API]
you can remove the LOCAL_TIMERS for HAVE_ARM_TWD.