Subject: [PATCH] ARM: rcar-gen2: Do not attempt to re-setup timer if running correctly

From: [email-masked] (Ben Dooks)
Date: Wed, 11 Dec 2013 10:06:54 +0000

On 11/12/13 09:25, Ben Dooks wrote:
> If the system has been started in non-secure mode, then the ARM generic
> timer is not configurable during the kernel initialisation. Currently
> the only thing we can check for is if the timer has been correctly
> configured during the boot process.
>
> Signed-off-by: Ben Dooks <[email-masked]>
> Reviewed-by: Ian Molton <[email-masked]>

Sorry, I've gone and re-posted the same patch as yesterday.

-- 
Ben Dooks				http://www.codethink.co.uk/
Senior Engineer				Codethink - Providing Genius