A capability-based operating system from Google. (Git, change sets in review)