[PATCH] ARM: rcar-gen2: Do not setup timer in non-secure mode

[Ben Dooks]

On 10/12/13 17:01, Sergei Shtylyov wrote:
> Hello.
>
> On 10-12-2013 19:53, 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 <ben.dooks at codethink.co.uk>
>> Reviewed-by: Ian Molton <ian.molton at codethink.co.uk>


>   * bla
>   * bla
>   */
>
> WBR, Sergei

Thanks, fixed.

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