GitHub repository: ArduPilot/PX4NuttX
Primary language: C
Description: Standard NuttX (http://nuttx.org) with current PX4 WIP patches