Though the PX4 firmware is open source, the task seems complicated and involving a large amount of work. But doable, if the mbed can do all that's required.
Relevant Skills and Experience
Used a project that uses gcc to compile for mbed, as well as the official mbed compiler.
openVEX for a VEX "assembly line" of sorts, high school project
A simple PWM audio driver in C