I'm surprised to see a mainstream kernel powering military hardware at all. I'd have expected to see QNX, or something somewhat obscure with hard-realtime features.
Also, I don't think QNX is necessarily more obscure. It may not evolve on the desktop/server market, but it is an industry standard in its field.