You might find this question interesting:
https://space.stackexchange.com/questions/9243/what-computer...
> The Falcon 9 has 3 dual core x86 processors running an instance of Linux on each core. The flight software is written in C/C++ and runs in the x86 environment.