Re: [PATCH v8 13/16] ARM: dts: Add ARM System timer as clocksource in armv7m
From: Arnd Bergmann <arnd@arndb.de>
Date: 2015-05-15 20:02:12
Also in:
linux-api, linux-arch, linux-arm-kernel, linux-gpio, linux-serial, lkml