Cool! Maybe they'll use Darwin/BSD UNIX for the base operating system.
One of the Russian probes to Mars tried this. They had 3 CPUs, and 2 of them had to vote "yes" in order for any action to be taken. Unfortunately, 2 of them malfunctioned leaving only 1 working CPU, which could not outvote the other 2, so it took no actions at all.
Sorry I can't remembe the name of the probe, this story is related in William Burroughs' "This New Ocean".
--Boris