On 10/09/2013 01:24 AM, Dinh Nguyen wrote:
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.
Thanks, Dinh, I will have a look at this.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
