tree 174f38337a47ae2961d20bdbaba569fb57c765d3
parent 2b20b6164ec737bec67641564e477aa6e008748b
author Thierry Reding <treding@nvidia.com> 1404739590 +0200
committer Thierry Reding <treding@nvidia.com> 1420811143 +0100

clocksource: Build Tegra timer on 32-bit ARM only

Instead of directly using the ARCH_TEGRA Kconfig symbol to enable this
driver, add a new, non-user-visible Kconfig symbol (TEGRA_TIMER) which
can be selected by the various SoCs.

This is useful to disable building the driver on Tegra132 (64-bit ARM)
where it doesn't currently compile but also isn't needed (yet).

Acked-by: Daniel Lezcano <daniel.lezcano@linaro.org>
Signed-off-by: Thierry Reding <treding@nvidia.com>