Desculpem o off topic, mas achei o assunto pertinente e interessante.
Lendo este artigo:
https://space.stackexchange.com/questions/9243/what-computer-and-software-is-used-by-the-falcon-9/9446?mkt_tok=eyJpIjoiT0dOaFpEZGpOamM0TlRRNCIsInQiOiJYTm8xSms3bUVtb2d1S0xIYXFRcVBYRGNQeTdxQTQ0MndrTzFJVThqQ0cxWVVHSUdwOEZyMTRZOGNtbUJGNHpPXC96T3ZvaFpHRzl6Ulc1eGNXQnFGYjE1bDlYUlh2eWp2XC9vRDJpalRFaGtibnFzSnlsRmxqZzlvU3VOazhPV1wvSSJ9#9446?utm_medium=email&utm_source=topic+optin&utm_campaign=awareness&utm_content=20200606+prog+nl
Me chamou a atenção que cada processador, PowerPC com 2 núcleos cada,
parece rodar uma instalação linux diferente da do outro núcleo. Isto é
possível utilizando virtualização, mas como as respostas não esclarecem
isso, fiquei curioso se haveria outra maneira disso ser feito. A idéia
da tripla verificação eu conheço, existe um hardware dedicado a votar
pelas respostas e decidr por uma. Na verdade parece que a votação é
sextupla, pois cada processador possui duas instalações linux, que
emitem os comandos em separado e após uma verificação simples é enviada
para a seleção tripla (ou votação)
sds
Vinicius