Chinese Marsian rover runs on Kylin OS, which is Linux based
1.https://www.scmp.com/news/china/science/article/3138313/mars...
1.https://www.scmp.com/news/china/science/article/3138313/mars...
And if you never heard of vxworks or QNX, that's the point. They just work and that's the point.