The seL4 Microkernel An Introduction

The seL4 seL4 MicrokernelAn IntroductionGernot of 2020-06-10 AbstractThis whitepaper provides an Introduction to and overview of seL4. We explain whatseL4 is (and is not) and explore its defining features. We explain what makes seL4uniquely 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 itsbenchmark-setting performance. We also discuss typical usage scenarios, includingincremental cyber retrofit of legacy Concepts Software and its engineering Operating Systems Security and privacy Systems security Security and privacy Formal methods and theory of security Computer systems organization Real-time systems Real-time operatingsystems Computer systems organization Real-time systems Dependable and fault-tolerant systems and networksKeywordsseL4, Microkernel , performanceReference Format.

The left side presents a (fairly abstracted) view of the architecture of a system such as Linux. The yellow part is the OS kernel, it offers services such as ˜le storage and networking to applications. All the code that implements those services executes in the privileged mode of the hardware, also called kernel mode or supervisor mode – the

Loading..

Tags:

  Linux, Architecture

Information

Related search queries