Felipe Neves 5d7564a039 freertos/Kconfig: make optimized task selection dependent on FREERTOS_UNICORE option ... freertos: fix decrement loop of high priority task selection		2020-01-14 09:58:14 -03:00
..
freertos	freertos/Kconfig: make optimized task selection dependent on FREERTOS_UNICORE option	2020-01-14 09:58:14 -03:00