efi_loader: provide new doc/README.uefi

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

diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig
index ac4832be20db75d2ff80dde415b16954802c2937..2c968967262787051bae58dd100e716e2e3610a5 100644 (file)
--- a/drivers/timer/Kconfig
+++ b/drivers/timer/Kconfig
@@ -44,6 +44,14 @@ 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 SANDBOX_TIMER
        bool "Sandbox timer support"
        depends on SANDBOX && TIMER
@@ -97,10 +105,25 @@ 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 ATCPIT100 timer which will be embeded
+               in AE3XX, AE250 boards.
+
+config ROCKCHIP_TIMER
+        bool "Rockchip timer support"
+       depends on TIMER
+       help
+         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 a timer for AE3XX devices.
+         Select this to enable support for the timer found on
+         STM32 devices.
 
 endmenu