From b89215a11f335d997c76d7e01cff4d624bd53455 Mon Sep 17 00:00:00 2001 From: Fotis Panagiotopoulos Date: Wed, 7 Jun 2023 17:47:24 +0300 Subject: [PATCH] Fixed Kconfig options for the obsolete GD32F4_TICKLESS_SYSTICK & STM32WB_TICKLESS_SYSTICK options. --- arch/arm/src/gd32f4/Kconfig | 1 - arch/arm/src/stm32wb/Kconfig | 1 - 2 files changed, 2 deletions(-) diff --git a/arch/arm/src/gd32f4/Kconfig b/arch/arm/src/gd32f4/Kconfig index 855ca1efb7c62..20a905be2b4b2 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 dcc25980d435c..7670f2fd862e1 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.