Fixed Kconfig options for the obsolete GD32F4_TICKLESS_SYSTICK & STM3…

…2WB_TICKLESS_SYSTICK options.
apache · Jun 7, 2023 · b89215a · b89215a
1 parent ad4e2f0
commit b89215a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/arch/arm/src/gd32f4/Kconfig b/arch/arm/src/gd32f4/Kconfig
@@ -702,7 +702,6 @@ config GD32F4_TICKLESS_TIMER
 	int "Tickless by hardware timer"
 	default 1
 	range 0 13
-	depends on !GD32F4_TICKLESS_SYSTICK
 	---help---
 		If the Tickless OS feature is enabled, then one clock must be
 		assigned to provided the timer needed by the OS.

diff --git a/arch/arm/src/stm32wb/Kconfig b/arch/arm/src/stm32wb/Kconfig
@@ -724,7 +724,6 @@ config STM32WB_TICKLESS_TIMER
 	int "Tickless hardware timer"
 	default 2
 	range 1 17
-	depends on !STM32WB_TICKLESS_SYSTICK
 	---help---
 		If the Tickless OS feature is enabled, then one clock must be
 		assigned to provided the timer needed by the OS.