I am using Arduino with the Maixduino board definitions (https://maixduino.sipeed.com/en/get_started/install.html). Mavlink is used for telemetry and transferring mission/waypoint data and works with QGroundControl. My firmware is still in a very early stage and any suggestions are welcome.