Benefits and costs of writing a Posix kernel in a high-level language (2018) [pdf]pdos.csail.mit.edu42 pointsDecabytes4 years ago