Elon Musk SpaceX AMA
I am sure Elon Musk won't get the chance to answer my reddit question, since apparently the reddit mob downvoted me to death, so I am asking here, perhaps anyone knows.1) What RTOS does SpaceX use for the embedded hardware on board? I know they use a lot of Linux, but not for hard real time stuff. What are they running on their microcontrollers?2) Is it programmed in C, or some other language?3) Is the embedded equipment on board running on a switched network? If so, does it use TCP/IP or some other protocol?