Quick start L4Re: Learn to design and deploy secure system architectures for your product with L4Re in 4 days!
Next date: April 14-15 & 23-24, 2026
Please contact Katrin Kahle for further inquiries.
Workshop Topics
As digital security becomes ever more crucial, the need for secure and sovereign operating systems is rising as well. Although many users recognize the benefits of sovereign open source operating systems, they often lack guidance on how to begin or how to deepen their existing knowledge.
This is especially true for microkernel systems such as L4Re. They provide an excellent foundation for IT security, yet not everyone is familiar with them.
Our introductory workshop “Quick Start L4Re – Design and deploy secure system architectures for your product with L4Re” is tailored to help you to easily get started with L4Re. This workshop will familiarize you with L4Re and provide your first hands-on experience.
In this workshop, you will learn about:
The workshop mixes interactive, lecture-style sessions and hands-on practical exercises, allowing you to immediately apply your new knowledge. One of our most experienced L4Re developers, Customer Success Engineer Matthias Lange with almost 2 decades of microkernel experience, will guide you through the course and answer your questions.
All you need is your computer or laptop. The practical environment is fully prepared and provided via VPN, and all exercises run on QEMU. There is no extra time required for setup.
In this introductory L4Re workshop, you can:
To meet the requirements of as many participants as possible, we are hosting this introductory workshop as an online course. You can log in to the lessons, which are split in two consecutive phases with 2 halfday sessions each, from wherever you are. Just plan for 4 half-day slots in total (each will take about 4 hours).
You don’t need to be an experienced software engineer, but a basic understanding of how software and operating systems work is beneficial.
Basic understanding of operating system concepts
Understanding processes, threads, memory management, and file systems is very useful since these concepts are important in microkernels as well. Familiarity with system calls, inter-process communication (IPC), and kernel modules is also helpful in grasping how microkernels operate.
Experience with the command line
With a basic Linux knowledge, getting started with the microkernel-based L4Re system is relatively easy, as many basic concepts and tools are similar. Microkernel development often requires the use of the command line and tools such as make, gcc or gdb.
Knowledge of open source development processes
Experience with open source projects and using versioning tools like Git is very helpful, as the L4Re project follows similar workflows.
To secure your seat or to join the waiting list for the next date, please register as soon as possible!
Please enter a number between 5 and 8 above.
Matthias Lange is our Customer Success Engineer with a lot of experience in Android, Linux, and of course L4Re.
Feel free to send him your questions about workshop topics, procedures, and other details.