clocksource: new RISC-V SBI timer driver

[linux-2.6-microblaze.git] / drivers / clocksource / Kconfig

diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig
index dec0dd8..a11f4ba 100644 (file)
--- a/drivers/clocksource/Kconfig
+++ b/drivers/clocksource/Kconfig
@@ -609,4 +609,15 @@ config ATCPIT100_TIMER
        help
          This option enables support for the Andestech ATCPIT100 timers.
 
+config RISCV_TIMER
+       bool "Timer for the RISC-V platform"
+       depends on RISCV
+       default y
+       select TIMER_PROBE
+       select TIMER_OF
+       help
+         This enables the per-hart timer built into all RISC-V systems, which
+         is accessed via both the SBI and the rdcycle instruction.  This is
+         required for all RISC-V systems.
+
 endmenu