6 ms·The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language [pdf]9 points by gtirloni 5y ago