Hacker News new | ask | show | jobs
Google Joins seL4 Foundation (github.com)
3 points by edgurgel 1415 days ago