The benefits and costs of writing a POSIX kernel in a high-level languageusenix.org202 pointsthrill8 years ago