The nom Profit-Maximizing Operating System
Dune: safe user-level access to privileged CPU features