Цитата
Так портируется достаточно просто - все архитектурно-зависимое грамотно вынесено в отдельные файлы -
за 2-3 дня вполне реально перенести.
Несколько сложнее - для полноценной работы нужна интеграция с HAL для поддержки драйверов аппаратуры и упрощения процесса программирования.
PS: Просто ради интереса - существует ли коммерческая, поддерживаемая версия TNKernel? И сколько может стоить порт+ОС с интеграцией nios2-studio?