NuttX e FreeRTOS são bastante comparáveis em relação aos recursos. Ele implementa uma árvore de dispositivos padrão do UNIX, como o FreeRTOS, e possui suporte a cartões SD, porta serial e uma biblioteca padrão.
As vantagens do FreeRTOS são: É menor (cerca de 4kB min, a NuttX começa em cerca de 20kB). Funciona em mais CPUs. Ótimo fórum também. No entanto, você começa praticamente em zero. A porta NuttX 8051 está completa e funcional. Mas, para torná-lo útil, você provavelmente teria que copiar toda a pilha em cada interrupção, para evitar que ela transbordasse.
No entanto, com o tempo de mercado com o FreeRTOS, há uma tonelada de downloads disponíveis para ele e, considerando-o minúscula, eu honestamente não mudaria ainda, até que a NuttX esteja lá fora um pouco mais.Meus 2 centavos.