The benefits and costs of writing a POSIX kernel in a high-level language | Heykuki News