clockevents/driversi/mps2: add MPS2 Timer driver

MPS2 platform has simple 32 bits general purpose countdown timers.

The driver uses the first detected timer as a clocksource and the rest
of the timers as a clockevent

Acked-by: Daniel Lezcano <daniel.lezcano@linaro.org>
Signed-off-by: Vladimir Murzin <vladimir.murzin@arm.com>
Signed-off-by: Daniel Lezcano <daniel.lezcano@linaro.org>

1 files changed, 6 insertions, 0 deletions

diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig
index c346be650892..6ff327abc555 100644
--- a/drivers/clocksource/Kconfig
+++ b/drivers/clocksource/Kconfig
@@ -186,6 +186,12 @@ config CLKSRC_STM32
         depends on OF && ARM && (ARCH_STM32 || COMPILE_TEST)
         select CLKSRC_MMIO
 
+config CLKSRC_MPS2
+        bool "Clocksource for MPS2 SoCs" if COMPILE_TEST
+        depends on GENERIC_SCHED_CLOCK
+        select CLKSRC_MMIO
+        select CLKSRC_OF
+
 config ARM_ARCH_TIMER
         bool
         select CLKSRC_OF if OF