[PATCH v8 13/16] ARM: dts: Add ARM System timer as clocksource in armv7m

[Arnd Bergmann]

On Saturday 09 May 2015 09:53:55 Maxime Coquelin wrote:
> Tested-by: Chanwoo Choi <cw00.choi at samsung.com>
> Signed-off-by: Maxime Coquelin <mcoquelin.stm32 at gmail.com>
> ---
>  arch/arm/boot/dts/armv7-m.dtsi | 6 ++++++
>  1 file changed, 6 insertions(+)
> 

Applied to next/dt. I've left out patch 14 for now, until we have a new version.

	Arnd