add the clint timer device configuration item to Kconfig
Signed-off-by: chenzhipeng chenzhipeng@eswincomputing.com --- drivers/timer/Kconfig | 7 +++++++ 1 file changed, 7 insertions(+)
diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig index 6d6665005c..3dd1b940f1 100644 --- a/drivers/timer/Kconfig +++ b/drivers/timer/Kconfig @@ -216,6 +216,13 @@ config RISCV_TIMER Select this to enable support for a generic RISC-V S-Mode timer driver.
+config CLINT_TIMER + bool "RISC-V clint timer support" + depends on TIMER && RISCV + help + Select this to enables the clint timer for RISC-V systems. The clint + driver is usually used for NoMMU RISC-V systems. + config ROCKCHIP_TIMER bool "Rockchip timer support" depends on TIMER