U usenix.org The benefits and costs of writing a POSIX kernel in a high-level language 202 points thrill 8 years ago 96 comments