Workshop

Get started with L4Re in 3 Days: Design and deploy secure system architectures for your product with L4Re

Next date: April 8-10, 2025

Workshop Topics

Get started with L4Re within 3 Days

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.

The Workshop

Our introductory workshop “Getting Started with L4Re within 3 Days – 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 to do is bring your computer. The hardware and the L4Re environment will be provided and prepared for you. There is no extra time for setup required.

The Benefits

Don’t spend time searching for the right entry point. In this workshop you can

The Location

You will spend 3 days at the birthplace of L4Re software. We host the workshop at the Kernkonzept headquarter. After the training you can enjoy your free time exploring beautiful Dresden, the operating system capital of Europe!

Prerequisites for a beneficial participation

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.

Register now!

Get started with L4Re in 3 days

For this exclusive workshop, we are offering a limited number of slots. 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.

What’s in it for you?

Workshop
Benefits

Get in touch

Your workshop host and trainer

Matthias Lange is our Customer Success Engineer with a lot of experience in Android, Linux, and of course L4Re.

He has been sharing his knowledge with participants from security authorities and industrial customers in numerous practical workshops and training courses at the Linux hotel for many years, and he also directs L4Re trainings for our customers.

Feel free to send him your questions about workshop topics, procedures and other details.

What you need to know

Key facts of the workshop

Please contact Matthias Lange or Katrin Kahle for further inquiries about topics, registration, etc.