Well, Slashdot today links to the EETimes,
finally detailing exactly what went wrong. Not Wind River's fault; more of a NASA/JPL SNAFU.
Note that the "R6000" mentioned is not a MIPS chip, but the PowerPC-based "Rad 6000" board we already knew about.
...and apparently those "256Mb" of Flash were in fact mega
bytes, which makes sense once you read what they're using them for. (Apparently repeat writes aren't a concern within the mission profile.
)