While reading Linux User's Journal today, I stumbled across a little blurb about NuttX RTOS. I checked out their website and was fairly impressed with its feature set and its ability to put it in an 8052! I find it interesting that it supports POSIX which is something I have helped worked on for one of my clients in-house RTOS. This one seems a little more feature rich than the in-house RTOS.
Has anyone else heard of NuttX and has given it a try? If so, how does it compare to other RTOS's such as FreeRTOS?