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

[u-boot] / drivers / timer / Kconfig

diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig
index 6305bbf01cde236a721200cc200a2e0906949b63..8a31397553df3a1b9d9abd9265397ce37f1cc48a 100644 (file)
--- a/drivers/timer/Kconfig
+++ b/drivers/timer/Kconfig
@@ -52,6 +52,13 @@ config ATMEL_PIT_TIMER
          it is designed to offer maximum accuracy and efficient management,
          even for systems with long response time.
 
+config CADENCE_TTC_TIMER
+       bool "Cadence TTC (Triple Timer Counter)"
+       depends on TIMER
+       help
+         Enables support for the cadence ttc driver. This driver is present
+         on Xilinx Zynq and ZynqMP SoCs.
+
 config SANDBOX_TIMER
        bool "Sandbox timer support"
        depends on SANDBOX && TIMER
@@ -105,11 +112,12 @@ config AG101P_TIMER
        help
          Select this to enable a timer for AG01P devices.
 
-config AE3XX_TIMER
-       bool "AE3XX timer support"
-       depends on TIMER && NDS32
+config ATCPIT100_TIMER
+       bool "ATCPIT100 timer support"
+       depends on TIMER
        help
-         Select this to enable a timer for AE3XX devices.
+         Select this to enable a ATCPIT100 timer which will be embeded
+               in AE3XX, AE250 boards.
 
 config ROCKCHIP_TIMER
         bool "Rockchip timer support"
@@ -118,4 +126,11 @@ config ROCKCHIP_TIMER
          Select this to enable support for the timer found on
          Rockchip devices.
 
+config STM32_TIMER
+        bool "STM32 timer support"
+       depends on TIMER
+       help
+         Select this to enable support for the timer found on
+         STM32 devices.
+
 endmenu