Kernkonzept L4Re Workshop

New Workshop: Getting 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.

New Workshop: Getting started with L4Re within 3 days

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.

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!

Workshop Benefits

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

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.

Key facts of the workshop

Date: October 22nd – 24th, 2024
Workshop times: daily from 9 am to 4.30 pm
Price: 2.995 Euro per person
Location: Kernkonzept Company Headquarters in Dresden
Participants: 8
Additional: The workshop includes coffee and beverages, snacks and lunch on all workshop days, plus an evening tour through Dresden.

Register now

For this exclusive workshop, we are offering a limited number of slots. To secure your participation, we encourage you to register as soon as possible, to avoid disappointment.

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

Buchenstraße 16B

01097 Dresden

Germany