Subject: [PATCHv2] arm: socfpga: Enable ARM_TWD for socfpga

From: [email-masked] (Dinh Nguyen)
Date: Thu, 07 Nov 2013 04:11:02 -0600

Hi Arnd/Olof,

On 10/1/13 2:31 PM, dinguyen at altera.com wrote:
> From: Dinh Nguyen <[email-masked]>
>
> Update SOCFPGA's Kconfig to include building the ARM TWD timer for
> SMP use.
>
> Signed-off-by: Dinh Nguyen <[email-masked]>
> Reviewed-by: Pavel Machek <[email-masked]>
> CC: Arnd Bergmann <[email-masked]>
> CC: Olof Johansson <[email-masked]>
> Cc: Pavel Machek <[email-masked]>
> Cc: linux-arm-kernel at lists.infradead.org
> ---
> v2:
> - Add a condition 'if SMP' for HAVE_ARM_TWD
> ---
>  arch/arm/mach-socfpga/Kconfig |    1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/arch/arm/mach-socfpga/Kconfig b/arch/arm/mach-socfpga/Kconfig
> index dd86db4..823de65 100644
> --- a/arch/arm/mach-socfpga/Kconfig
> +++ b/arch/arm/mach-socfpga/Kconfig
> @@ -11,6 +11,7 @@ config ARCH_SOCFPGA
>  	select GENERIC_CLOCKEVENTS
>  	select GPIO_PL061 if GPIOLIB
>  	select HAVE_ARM_SCU
> +	select HAVE_ARM_TWD if SMP
>  	select HAVE_SMP
>  	select MFD_SYSCON
>  	select SPARSE_IRQ

If it's not too late, can you apply this?

Thanks,
DInh