I think the point is that F-35 seems to get funded no matter how popularity contest goes. It is not completely beyond imagination that seL4 could be funded similarly, since both do serve military need. In fact, DARPA already funded some seL4 work.