efi_loader: provide new doc/README.uefi
[oweals/u-boot.git] / drivers / timer / Kconfig
index 3a1f8311c12e030867f8ae3ead0275d9cd005902..2c968967262787051bae58dd100e716e2e3610a5 100644 (file)
@@ -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