Hello, I have a requirement for a battery powered, mobile ground station. We would like to use an ARM processor running Linux to extend battery life. Has anyone tried any of the Linux compatible GCS on ARM (RPi 4) or any other non x86 main boards?