Steffen Liebergeld "Introduction to the L4Re Operating System"

For our October meetup, we were able to convince Kernkonzept to introduce us to their L4Re operating system.

Steffen will tell us how they bring the complexity of modern systems under control with their take to overhaul the traditional system design.

Abstract:

L4Re is an operating system capable of isolating mission critical software components. It builds on years of research done at TU Dresden and is now being developed by Kernkonzept. L4Re is already used in domains with high security demands.
In this talk I will give you a high level introduction into L4Re. You will learn about its properties and some real-world applications.