Actually I'm mistaken; the AWACS CC-2E computer was also a redundant dual processor system.