diff --git a/arch/arm/src/gd32f4/Kconfig b/arch/arm/src/gd32f4/Kconfig
index 855ca1efb7c..20a905be2b4 100644
--- 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
index dcc25980d43..7670f2fd862 100644
--- 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.