The benefits and costs of writing a Posix kernel in a high-level language [pdf]usenix.org1 point·secure··0 commentsOpen articleSaveView on HN