You have put together a good compilation of various issues with Linux. Of course in my brief comment, I never even mentioned Linux. I'm looking forward to seeing what kind of issues you have complied regarding Net/Free/Open BSD. Cheers.

Just look at what their web servers have been running for years! What a joke!! http://uptime.netcraft.com/up/graph?site=www.diginotar.nl

I have not read all the comments, but the United States Air Force has it's own Linux distro called LPS. My guess is that they will use that, or use it as a starting point so they are not starting from scratch. Here is more info:
http://www.spi.dod.mil/lipose.htm
http://en.wikipedia.org/wiki/Lightweight_Portable_Security
http://distrowatch.com/table.php?distribution=LPS
LPS is designed to serve as a Secure End Node. It can run on on almost any Intel-based computer (PC or Mac). LPS boots only in RAM, creating a pristine, non-persistent, end node. It is capable using Common Access Card (CAC) software for authentication into DoD networks.