Flight controller based on ChibiOS for the PX4 hardware designed by Pixhawk (pixhawk.org)