Evaluates the safety, programmability, and performance trade-offs of writing a production-style UNIX kernel in Go, using the Biscuit kernel as a case study. Covers its design, memory management, implementation, and comparison with C.

Save to open this file