If you haven't already, look into the avionics and flight software of the Ingenuity helicopter. First time Linux ran on Mars!