SeL4: World's 'first hack-free' software developed

Current discussion from earlier today (including links to earlier discussions from 18 months ago on the research)<p><a href="http://news.ycombinator.com/item?id=2151464" rel="nofollow">http://news.ycombinator.com/item?id=2151464</a>