I’d like to connect the Pixhawk to my Raspberry Pi via USB (rather than GPIO / Telem2), but it doesn’t show up as /dev/ttyUSBx as I’d expected.
Is there a driver for Raspbian I need to download / install? The Pixhawk doco refers to the driver bieng included in Linux, but maybe that’s just desktop installs?