[PATCH] timer: Kconfig: add clint timer support

[chenzhipeng]

add the clint timer device configuration item to Kconfig

Signed-off-by: chenzhipeng <chenzhipeng at 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
-- 
2.25.1