[andreleite77]

This is an interesting comment.

It makes me wonder why the Pentagon, with a US$1 trillion budget and being a critical piece of the US state apparatus, could not create a solution like that in recent years.

[dialup_sounds]

The DoD already uses a commercial microkernel OS called INTEGRITY for various applications.

[betaby]

The US government ( most governments in the world ) decided to give money to Microsoft instead.