Standard NuttX (http://nuttx.org) with PX4 and TMR patches