This link explains how to connect an Odroid to a Pixhawk, but the Mini doesn't have the same ports.
How can I connect the Odroid to a Pixhawk Mini? Is there documentation on this? Would the TELEM port work? What about via USB? The two computers will be on the aircraft and will have to communicate during flight.