Standard NuttX (http://nuttx.org) with current PX4 WIP patches - View it on GitHub