http://news.ycombinator.com/item?id=1246990
http://news.ycombinator.com/item?id=2645170
This story won't see much traction on HN. The cult of Mac is too strong, and HN users generally aren't interested in secure operating systems.
Now you can read up on Mark Miller's published papers [2] on Joule (actually pretty secure) and some of the issues associated with making things secure and get a much better feeling of solidity (for example).
So when the press release comes out that its passed the Defense department's B1/B2 review, then I suspect it will get a lot of interest here and else where.
[1] http://www.linkedin.com/profile/view?id=10279027 LinkedIn profile, one job CEO of this thing? A blog full of black hat sort of exploits but I didn't see any peer reviewed work.
[2] http://research.google.com/pubs/author35958.html
[3] http://en.wikipedia.org/wiki/Trusted_Computer_System_Evaluat...