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.<p>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?<p>2) Is it programmed in C, or some other language?<p>3) Is the embedded equipment on board running on a switched network? If so, does it use TCP/IP or some other protocol?