Kernkonzept Newsletter

Kernkonzept Mailing List

Thank you for signing up to our newsletter!

Missed an edition? Welcome to our newsletter archive! Dive into past editions packed with insights, updates, and inspiration – the perfect place to catch up or rediscover your favorite topics.

Kernkonzept Newsletter 2026

Kernkonzept News: L4Re workshops, EAL4+ and more

In this newsletter we share major developments and accomplishments that kept us busy in the last few months – from official security certifications to wrapping up major research projects, news for the open-source community, and meeting many of you in person at embedded world.

MIT license change L4Re Operating System Framework

Important licensing update for L4Re

Since September 15, the L4Re Operating System Framework is licensed under MIT!

With the strategic change from the more strict, copyleft GPLv2 license, we are offering greater flexibility, easier use in commercial products, and fewer restrictions for developers and companies.

L4Re Separation Kernel CC Certification EAL4+

2025 Kernkonzept and L4Re News Alert

From the first half of 2025, we have some major news to share with you: new certificates, partnerships and approaches, as well as expanded tooling and resources. A broad range of new developments make L4Re even more compelling as a foundation for secure, high-performance systems.

Webinar L4Re Micro Hypervisor

2024 Wrap from Kernkonzept and L4Re

The last weeks of 2024 brought a deluge of big events for Kernkonzept and the L4Re Operating System Framework and Hypervisor. Let us give you a heads-up about all that has happened and point you towards some important events we have planned for 2025!
Secure Separation Kernel VS German GEHEIM

2024 News from Kernkonzept and L4Re

In our first edition we would like to give you an update about the recent developments of Kernkonzept and our L4Re Operating System Framework. We have some big news to share, so be sure to read until the end!

Join our Mailing List

L4Re
Newsletter

Sign up for our newsletter and be the first to learn about new developments of our open-source L4Re Operating System Framework and Hypervisor, delivered straight to your inbox.

Sign up for our newsletter

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!