不懂就问，战斗机上安装win7这是真的嘛？

据说这款战斗机是法国的“幻影2000”！
后来哥们查了一下现在主流的战斗机操作系统，其中F/A-18和B-2轰炸机用的是VxWorks系统，F-22和F-35是Green Hills INTEGRITY-178B；
大俄的是叫做Baget OS；
那咱们自家战斗机用的是啥系统啊？这个比较好奇？