L4Re Workshop October 2025

New Workshop 2025: Getting started with L4Re within 3 Days

After the success of our first L4Re workshop, we are offering a new date – secure your place for our next edition of “Getting Started with L4Re within 3 Days – Design and deploy secure system architectures for your product with L4Re” from 28 to 30 October 2025!

In this introductory workshop, you will learn how to use the L4Re Operating System Framework in only 3 days. We are inviting you to our headquarters in Dresden – the heart of “Silicon Saxony” and the capital of operating systems. Our highly skilled Senior Software Engineer, L4Re developer Matthias Lange, will introduce you to L4Re and guide you along.

Our workshop “Getting Started with L4Re” is tailored to help you to easily get started with L4Re. It will familiarize you with L4Re and provide you with first hands-on experience:

  • Learn how the microkernel principle can meet your security needs
  • Understand how the architecture and security mechanisms of L4Re work
  • Configure, build, and install L4Re on different platforms
  • Get acquainted with the most important tools, services, and libraries in the L4Re ecosystem
  • Learn how to use virtualization in L4Re
  • Start to contribute to the L4Re community – and launch your own project in the end!

This workshop is perfect to get a first insight into this open-source technology. After 3 days, you will be able to work independently with L4Re, even with little to no prior knowledge about microkernel architecture.

It mixes interactive, lecture-style sessions and hands-on practical exercises, allowing you to immediately apply your new knowledge. It is very hands-on, and all you need is your laptop – the necessary hardware and the environment needed will be prepared by us.

To maximize your outcome from our workshop, you don’t need to be an experienced software engineer, but a basic understanding of how software and operating systems work is beneficial.

Register now and secure one of the last remaining seats for 28-30 October 2025!

Buchenstr. 16b

01097 Dresden

Germany