Standard NuttX (http://nuttx.org) with current PX4 WIP patches