C citeseerx.ist.psu.edu The operating system: should there be one? (2013) [pdf] 168 points evanlh 5 years ago 202 comments
