Ao ler o Linux User Journal hoje, me deparei com um pouco de publicidade sobre o NuttX RTOS. Eu verifiquei o site deles e fiquei bastante impressionado com seu conjunto de recursos e sua capacidade de colocá-lo em um 8052! Acho interessante que ele suporte o POSIX, algo em que ajudei a trabalhar para um dos meus clientes RTOS internos. Este parece um pouco mais rico em recursos do que o RTOS interno.
Alguém mais ouviu falar do NuttX e tentou? Em caso afirmativo, como ele se compara a outros RTOS, como o FreeRTOS ?