A repository for PIXHAWK open source code running on ROS