Merge tag 'nds32-for-linus-4.17' of git://git.kernel.org/pub/scm/linux/kernel/git...

[platform/kernel/linux-rpi.git] / drivers / clocksource / Kconfig

diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig
index d2e5382..14c9796 100644 (file)
--- a/drivers/clocksource/Kconfig
+++ b/drivers/clocksource/Kconfig
@@ -592,4 +592,13 @@ config CLKSRC_ST_LPC
          Enable this option to use the Low Power controller timer
          as clocksource.
 
+config ATCPIT100_TIMER
+       bool "ATCPIT100 timer driver"
+       depends on NDS32 || COMPILE_TEST
+       depends on HAS_IOMEM
+       select TIMER_OF
+       default NDS32
+       help
+         This option enables support for the Andestech ATCPIT100 timers.
+
 endmenu