Check the specs..
> A BAE RAD 750 single-board computer with a 750Mhz Power PC CPU
Not to nitpick, but the CPU is called the RAD750 because it's based on the PowerPC 750 processor, not because of its clock speed. It operates at a mere 200MHz per BAE's own component specifications.
Even better, BAE's press reports claim that's a full 10-fold increase over its previous generation CPU, the RAD6000, which powers Spirit and Opportunity, Mars Odyssey, and a whole host of other Mars craft and other spacecraft.