はやぶさはITRONで制御してた

ミネルバも確かそうだったよね。
http://richard-wong.cocolog-nifty.com/tron/2005/01/itron.html
ITRONを使った小惑星探査ロボット

ソースは適当に調べていただければ。まあ、少なくとも２０年ぐらい昔からNECの人は衛星の制御にITRON使ってたはずなので今更ですね。

記事があざとくてすまん。

それにしても、この動画は何度見ても面白いな。

http://www.esol.co.jp/company/press/emb_press100601.html
金星探査機「あかつき」に T-Kernelベースソフトウェアプラットフォーム「eCROS」が採用

続編も色々。。。。。あるといいんですがねえ。事業仕分け次第ですか？