Re: [PATCH v2 34/35] clocksource/drivers/Kconfig: Support andestech atcpit100 timer
From: Arnd Bergmann <arnd@arndb.de>
Date: 2017-11-27 14:11:37
Also in:
linux-arch, linux-devicetree, linux-serial, lkml