efi_loader: provide new doc/README.uefi
[oweals/u-boot.git] / drivers / timer / Kconfig
index fcfdf4e83910061e798dd846c4cebe3a3bfdd262..2c968967262787051bae58dd100e716e2e3610a5 100644 (file)
@@ -107,7 +107,7 @@ config AG101P_TIMER
 
 config ATCPIT100_TIMER
        bool "ATCPIT100 timer support"
-       depends on TIMER && NDS32
+       depends on TIMER
        help
          Select this to enable a ATCPIT100 timer which will be embeded
                in AE3XX, AE250 boards.
@@ -119,4 +119,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