Standard NuttX (http://nuttx.org) with TMR-FC board patches