timer: cadence: Implement timer_get_boot_us

[u-boot] / drivers / timer / Kconfig

diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig
index 13f122350b2f86086555230c21e2e32bb0eba4ed..8a31397553df3a1b9d9abd9265397ce37f1cc48a 100644 (file)
--- a/drivers/timer/Kconfig
+++ b/drivers/timer/Kconfig
@@ -44,6 +44,21 @@ config ALTERA_TIMER
          Select this to enable a timer for Altera devices. Please find
          details on the "Embedded Peripherals IP User Guide" of Altera.
 
+config ATMEL_PIT_TIMER
+       bool "Atmel periodic interval timer support"
+       depends on TIMER
+       help
+         Select this to enable a periodic interval timer for Atmel devices,
+         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
@@ -97,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"
@@ -110,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