add the clint timer device configuration item to Kconfig
Signed-off-by: chenzhipeng <chenzhip...@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
