[adrian_b]

Only the microcontrollers are automotive redundant CPUs from Texas Instruments.

The high-level control and data processing is done by a now very old smartphone Snapdragon 801 CPU, which has no redundancy and it runs Linux. That CPU uses 4 custom 32-bit Qualcomm Krait cores, which were extremely fast in comparison with the radiation-hardened CPUs available at that time, but which are very slow in comparison with the current automotive CPUs or smartphone CPUs.

Nowadays there are automotive redundant CPUs, using high-performance automotive-enhanced ARM cores like Cortex-A78AE or Neoverse V3AE, which are far more suitable for a space mission than a smartphone CPU.

Because Snapdragon does not have the right hardware, approximate redundancy is achieved by software, i.e. by running multiple times each algorithm and comparing the results, and also by periodic self tests.

This is better than nothing, but a hardware-redundant CPU would have provided much better performance.