Follow
"3 dual core ARM processors running on custom board...
at any given point there are 6 running processes of the flight software"...
https://yasoob.me/posts/software_engineering_within_spacex_launch/
