4 ms·The benefits and costs of writing a Posix kernel in a high-level language [pdf]1 points by secure 8y ago