День добрый!
Да я не с целью возродить порт, у меня мотивации не хватит причесать всё как надо

Устройство в единичном экземпляре (охранная сигнализация). Так получилось, что попалась в руки плата с этим контроллером и подходящим набором периферии, в удобном корпусе с приемлимым блоком питания. А почему GCC - потому что хочется родной линуксовый софт использовать
Я некоторое время назад подрихтовал порт FreeRTOS под Softune для этого камня, потом был перерыв (и переезд на линукс), а сейчас эти исходники под GCC не завелись, вот и взял scmRTOS.