企業はT-Kernelでやりたいかもしれんが
防衛省は実績のあるvxworksを押しそう