SpaceX использует Linux и обычные x-86 процессоры в Falcon 9

На бортовых системах Falcon 9 используется урезанный Linux и три дублирующие друг друга компьютера на базе обычных двухъядерных процессоров семейства x86.
Управляющее полётом ПО написано на C/C++.