本来我以为Fuchsia是第一个广泛使用基于功能的安全性的内核，但是看起来在seL4中它们也是主要的安全性原语。
答案 0 :(得分：5)
紫红色是基于功能的操作系统，它建立在Google的Zircon微内核之上，而Zircon微内核本身就是基于little kernel。
将Zircon与seL4进行比较，或者将Genode（在seL4上运行）之类的操作系统框架与Fuchsia进行比较比较有意义。我将简要比较seL4和Zircon。
seL4提供了最少的机制，并且是为高安全性系统设计的。 Zircon提供了很多策略，并且并非为高保证而设计，而是着眼于实用性。我相信两者都是以高性能为目标。简而言之，与Zircon相比，seL4是一个非常小的微内核。
例如，尽管seL4提供了构建过程抽象的机制，但它根本没有定义过程。相比之下，Zircon在微内核本身中内置了很多策略，包括流程。当为特定平台进行配置时，seL4具有许多属性（功能正确性，完整性，隔离性）的证明，而Zircon则没有。