2 ms·
SeL4: World's 'first hack-free' software developed
- JacobAldridge 16y agoCurrent discussion from earlier today (including links to earlier discussions from 18 months ago on the research) http://news.ycombinator.com/item?id=2151464 http://news.ycombinator.com/item?id=2151464