Which operating system/systems is currently being used in spacecrafts? Was
FlightLinux implemented as the standard? Any information you can provide
would be greatly appreciated. Thanks.