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?