作者oversky.

好奇號應該是用 VxWorks，
這算是 Intel 下面的公司吧。
https://zh.wikipedia.org/zh-tw/VxWorks

因為以前買的 Canon DC 也是用 VxWorks，
所以比較有印象。