seL4和Fuchsia的内核在概念上的区别是什么？

Question

最初，我认为Fuchsia是第一个广泛使用基于能力的安全性的内核，但在seL4中，它们也是主要的安全原语。

Answer 1

Fuchsia是一个基于功能的操作系统，建立在Google的Zircon微内核之上，而Zircon微内核本身就是基于小核的。

将锆石与seL4或像基因 (运行在seL4上)这样的操作系统框架与Fuchsia进行比较更有意义。我将简要地将seL4与Zircon进行比较。

seL4提供最小的机制，是为高保证系统设计的.锆石提供了很多的政策，不是为高保证设计，重点是效用。我相信两者都是以高性能为目标的。简而言之，与Zircon相比，seL4是一个非常小的微内核。

例如，虽然seL4提供了构建过程抽象的机制，但它根本没有定义流程。相比之下，Zircon在微内核本身中包含了很多策略，包括进程。当为特定平台配置时，seL4有许多属性(功能正确性、完整性、隔离性)的证明，而Zircon没有。