А у SpaceX есть что-нибудь в open source?
вроде нет, но они рассказывали что ракеты у них на линуксах (думаю многие контрольные блоки с RT, конечно же, и скорее всего на других осях, но основная фигня крутится на линуксе где только можно для снижения костов)