sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed Kconfig options for the obsolete GD32F4_TICKLESS_SYSTICK & STM32WB_TICKLESS_SYSTICK options.

Browse Source
This commit is contained in:
Fotis Panagiotopoulos 2023-06-07 17:47:24 +03:00 committed by patacongo
parent ad4e2f0922
commit b89215a11f
2 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
arch/arm/src/gd32f4/Kconfig
View File

@ -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.

1
arch/arm/src/stm32wb/Kconfig
View File

@ -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.