Pokud vím, tak jsou tam dva TMS570LC43x, jak již naznačoval předřečník, každý má dvě jádra v lockstepu (chová se jako jedno) a pokud interní safety funkce na čipu primárního flight controlleru s TMS570LC43x vyhlásí chybu, tak FPGA (ProASIC3) přepne na záložní flight controller také na TMS570LC43x, který obstará bezpečné přistání. S vyšší úrovní řízení komunikuje na GNU/Linuxu komunikuje jen ten primární flight controller.
Jinak pokud by si někdo chtěl na TMS570LC43x zkusit Google Summer of Code na systému RTEMS https://www.rtems.org/ , tak dejte vědět. BSP jsme před lety do RTEMSu napsali také částečně s podporou financování mého studenta z GSoC a teď na něm dále staví třeba Airbus Space and Defence USA. S TMS570LS3137 jsme navrhovali i ECU pro Porsche.