The seL4 Microkernel An Introduction
The seL4 Microkernel An Introduction
复制标题
seL4 微内核简介
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Gernot Heiser
中科院分区：
文献类型：
--
作者：
Gernot Heiser
该白皮书提供了SEL4的概述，我们解释了SEL4是什么（并且不是），并探讨了其定义功能。 ，尤其是嵌入式网络系统。
This whitepaper provides an introduction to and overview of seL4. We explain what seL4 is (and is not) and explore its defining features. We explain what makes seL4 uniquely qualified as the operating-system kernel of choice for security-and safety-critical systems, and generally embedded and cyber-physical systems. In particular, we explain seL4’s assurance story, its security-and safety-relevant features, and its benchmark-setting performance. We also discuss typical usage scenarios, including incremental cyber retrofit of legacy systems.