[pkaye]

They use a RAD hardened FPGA to handle the avionics. The Snapdragon is for the less critical activity.