高级语言编写kernel，鱼和熊掌不可兼得

本文说明：本文首发在[内核月谈]公众号，现在个人博客上发布，仍然标志为原创。 本文基于OSDI18论文《The benefits and costs of writing a POSIX kernel in a high-level language》的理解整理而成。从第1节到4节沿着论文作者思路介绍a)为什么要使用高级语言编写Kernel；b)使用Go编写Biscuit在开发效率，系统安全性和性

>>阅读原文<<