Clone of The NuttX RTOS, see http://nuttx.sourceforge.net/