Kernel 听说过解构的内核项目吗？

我记得看到过一个项目，该项目将故意分解/解构的部分组装成内核，以最大限度地实现分离。有人知道这样一个项目吗？不用说，我需要它是开源的。

这听起来很像一个微内核。可供下载的明显示例包括和。请注意，虽然CMU不再开发Mach，但它正在积极开发并在其他地方使用（例如，作为苹果的核心）。

您是在谈论微内核吗？offtopic，更适合程序员。stackexchange.com