nuttx я знаю давно, еще когда она была только для AVR.
Ее ценность тогда была в TCP стеке.
Но теперь TCP стек есть практически у всех.
А теперь достоинств nuttx по сравнению с MQX я не вижу. Да и поддержки Kinetis там нет.
Если искать альтернативу для Kinetis, то я бы рекомендовал uCOS for makers или mbed OS
Открытый проект модуля управления электрическими моторами. Технология разработки ПО