Большое спасибо, всем ответившим! На основе всего сказанного, решил что действительно FreeRTOS тяжеловата для МК AVR, поэтому останавлюсь пока на выборе между scmRTOS и JacOS...
Немного подумал

... выбор падает на scmRTOS, потому что:
1. Есть несколько портов на другие архитектуры.
2. Вытесняющая многозадачность мне больше нравится, чем кооперативная.
Скачал версию 1.10 для GCC, будем пробывать... уж не знаю, что получится.
Выбор.