The seL4 Microkernel An Introduction

← Back to document page

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

  Linux, Architecture