予算ふんだんにもらってるNASAが
わざわざLinux使うわけがなかろう。