Subject: [PATCH v3 9/9] ARM: add initial support for Marvell Berlin SoCs

From: [email-masked] (Arnd Bergmann)
Date: Thu, 7 Nov 2013 23:11:21 +0100

On Thursday 07 November 2013, Sebastian Hesselbarth wrote:
> I haven't looked deeper into this, but I guess it will not be hard
> to make ARM_TWD independent of SMP.

Yes, I agree. Just make sure to look at the list archives to see if someone
already did that work.

	Arnd