L4Re 3 DAY WORKSHOP

Get started with L4Re in 3 Days: an intensive, hands-on deep dive into L4Re with direct expert interaction.

Next date: Sept 29 to Oct 1, 2026

What you need to know

Get started with L4Re in 3 days: key facts

Can’t make it to Dresden? Choose our flexible L4Re Remote Access Workshop instead – easily accessible from anywhere in the world!

About the workshop

Design and deploy secure system architectures for your product with L4Re

As digital security becomes ever more crucial, the need for secure and sovereign operating systems is also rising. Microkernel systems such as L4Re provide an excellent foundation for IT security.

To get familiar with this IT-security technology, our in-person workshop “Get Started with L4Re within 3 Days – Design and deploy secure system architectures for your product with L4Re” will familiarize you with the L4Re technology and provide you with first hands-on experience.

It is designed for software engineers who want to gain a deep and focused understanding of the L4Re technology in a short time. Working closely with our skilled experts and in a friendly, collaborative atmosphere together with other learners, you explore the microkernel system design principles behind L4Re and gain hands-on developing experience.

The workshop is designed for focused, high-intensity learning in a dedicated onsite environment. It mixes interactive, lecture-style sessions and hands-on practical exercises, allowing you to immediately apply your new knowledge. Our most experienced L4Re developers with almost 2 decades of microkernel experience will guide you through the course and answer your questions.

What you will learn

This workshop aims to teach you the following topics:

After 3 days of deep-dive learning and practising, you will be confident in configuring L4Re. You will have no problems setting up and running complex scenarios, like using the L4Re Operating System Framework as a hypervisor for the secure encapsulation of existing operating systems.

Your most important take-away from this 3-day workshop: You will be capable of writing your first L4Re application for your own product.

Where you will learn

For this introductory workshop, we invite you to spend 3 days in the Kernkonzept headquarters in Dresden – the birthplace of L4Re software. After the training sessions, you can enjoy your spare time exploring beautiful Dresden, the operating system capital of Europe.

You are welcome to take a complimentary guided city walk with our team in the evening – we are happy to show you around!

What you need to bring

All you need for this on-site workshop is your computer or laptop. The hardware and the L4Re environment will be provided and prepared for you in our office rooms. There is no extra time required for setup – just take your seat and start learning.

Where we start from

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: A basic understanding of certain operating system concepts can flatten the learning curve because they are important in microkernels as well. Such concepts are processes, threads, memory management, file systems, system calls, and kernel modules.

Experience with the command line: With a basic knowledge of Linux, 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.

Sign up here

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.

Your benefits

Your trainers

The workshop is led by one of our highly experienced software engineers, who have a lot of experience in Android, Linux, and of course L4Re.

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

KERNKONZEPT

Welcome aboard!

Thank you for your interest in the workshop! Your registration has been received. Should the workshop be fully booked, we’ll place you on the waiting list — and we’ll reach out to you personally either way.

KERNKONZEPT

Message sent!

Thank you for reaching out!

We’ve received your message and will get back to you personally as soon as we can.

KERNKONZEPT

Almost there!

To complete your subscription, please check your inbox for a confirmation email. Click the link in the email to confirm your subscription. If you don’t see the confirmation email in your inbox, make sure to check your spam or junk folder.

Kernkonzept Whitepaper L4Re Micro Hypervisor Cover

Download

Almost there!

Thank you for your interest in our work. After your free download, we would love to hear your opinion about it. Feel free to contact us per mail or on LinkedIn!