>Time for the DoD to commission their own OS.
I am shocked that governments are not investing mega-bucks into getting a microkernel OS built that could be run on internet routers, tanks, power plants, aircraft, water treatment facilities etc. Even if microkerenel design has some impossible to overcome performance limitations, for utmost security, it would be a small price to pay knowing that hacking the OS was nearly impossible.