Defence bets big on Linux