Merge branch 'master' of git://git.denx.de/u-boot-usb

[oweals/u-boot.git] / drivers / timer / Kconfig

diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig
index e03852396b7ccb4d5302484fc256d006c1bccfae..17e7dfe24526898abd90d07edbc8f7922a01bb30 100644 (file)
--- a/drivers/timer/Kconfig
+++ b/drivers/timer/Kconfig
@@ -74,4 +74,16 @@ config ARC_TIMER
          usually at least one of them exists. Either of them is supported
          in U-Boot.
 
+config AG101P_TIMER
+       bool "AG101P timer support"
+       depends on TIMER && NDS32
+       help
+         Select this to enable a timer for AG01P devices.
+
+config AE3XX_TIMER
+       bool "AE3XX timer support"
+       depends on TIMER && NDS32
+       help
+         Select this to enable a timer for AE3XX devices.
+
 endmenu