Hello, I just noticed the option STM32_TICKLESS_SYSTICK for the STM32. However, it seems that it does nothing.
After a source code search, this option is not used anywhere. There is no tickless implementation that supports the systick timer. Shall I remove this?
