Innovation and security: updates, milestones, and new dates for you

Dear ,

a lot has been happening behind the scenes at Kernkonzept, and we figured it’s finally time to share a few milestones! In today’s newsletter we share major developments and accomplishments that kept us busy in the last few months.

Take a closer look at what’s been happening at Kernkonzept - from official security certifications to wrapping up major research projects, news for the open-source community, and finally getting back on the road to meet many of you in person.

Here is a brief look at what we’ve been up to, and what’s coming up next for L4Re.

Keep your eyes on our LinkedIn page to get all updates - and should you be in Dresden next week, come see us at OUTPUT.DD, the project fair at TU Dresden’s Faculty of Computer Sciences!

L4Re workshop goes online: new L4Re Remote Access Workshop

As a companion format to our established L4Re Starter Workshop (⇾ next date for that one is Sept 29 - Oct 1!), we introduced a new, low-threshold access to L4Re: the L4Re Remote Access Workshop is designed for individuals as well as organizations who want to get to know L4Re, gain their first hands-on experience, and connect directly with the specialists behind the microkernel-based operating system.

This fully remote workshop introduces you to the philosophy behind L4Re, explains key concepts such as capabilities and IPC, and conveys first virtualization concepts.

Our first L4Re Remote Workshop with participants from all over the world took place in April and all 8 seats were booked. The dates for the next session will be announced soon - don’t forget to register!

⇾ Secure your place on the waiting list!

Recertification for L4Re Secure Separation Kernel CC under new EUCC scheme

Our L4Re Secure Separation Kernel CC version 1.0.2 has successfully been recertified with the Common Criteria (CC) certification according to Evaluation Assurance Level 4+ (EAL4+)!

While evaluated under the established CC v3.1 standard, the certification is fully integrated into the new EUCC transition framework. This provides our European customers with future-proof security guarantees and digital sovereignty.

With the composition-based approach firmly embedded in the certification process, you can significantly simplify your own certification by choosing the L4Re Secure Separation Kernel CC that is already certified as CC EAL4+.

⇾ Learn more about the recertification

L4Re-based cockpit IVI demo at embedded world

At embedded world in Nuremberg, we presented our multi-partner cockpit IVI demo for a second time - running on Telechips’ Dolphin 5 platform, featuring Arm Cortex-A76 CPUs, Mali-G78AE GPU, and Ethos N78 NPU, and enhanced by Qt Group's Qt Safe Renderer for safety-critical telltales in the center cluster.

Elektrobit’s EB corbos Linux for Safety Applications, which is based on the L4Re Hypervisor, provided the built-in functional safety: allowing safety-critical and non-safety-critical applications to coexist on the same hardware without interfering with each other.

This demo showed in a hands-on way that high graphics requirements and strict security requirements are not mutually exclusive.

⇾ Watch our video on YouTube

Premiere for L4Re-based cockpit IVI demo at CES Las Vegas

The CES Las Vegas was one of the first dates in our trade fair calendar of 2026. At this leading international trade fair that is widely recognized as the biggest tech event worldwide, we joined forces with our partners Telechips, Elektrobit, and Qt Group to introduce our multipartner automotive cockpit demo based on the L4Re Hypervisor - bringing our software to one of the industry’s most prominent global stages.

⇾ Read more about the demo

Open letter: declaration of digital independence 

At the French-German Summit on European Digital Sovereignty, the European Open Source industry associations and their members declared that digital independence is possible.

In an open letter, they asked the state leaders of Germany and France to end digital dependency in the public and the private sector and to implement European alternatives for the government stack, which are already available today.

We could have digital sovereignty today - if we can convince our governments to use the open-source resources provided by European developers and manufacturers.

Kernkonzept is one of many signatories of this letter. Do you want to add your voice?

⇾ Sign the APELL open letter

Kernkonzept in the Harvard Business Review

The January edition of “Harvard Business Manager” featured an 8-page open-source software special with insights from OSS experts of major German software companies - explaining how executives can create a strategic framework for the secure use of OSS.

Our Head of Product Katrin Kahle shared her expertise about best practices for successfully managing open-source software and thus fully activate the potential of OSS for your company.

⇾ Read the magazine here

CeCas supercomputing platform with L4Re

In November 2025, Kernkonzept along with 27 more partners unveiled the result of the Mannheim CeCas project: a standardized, modular, and scalable supercomputing platform for Level 3 to 5 autonomous driving.

CeCas (meaning: CentralCarServer) integrates high-performance real-time computing, AI-ready software, and a zonal vehicle architecture. The L4Re Hypervisor and L4Re Micro Hypervisor improved the resource-scheduling capabilities in safety conscious environments.

⇾ Learn more about the supercomputing platform

Bitkom Open Source Monitor 2025 published 

In September 2025, the 4th edition of the Bitkom Open Source Monitor was published, supported by Kernkonzept. The extensive study that asked 1,100 German companies and 100 public agencies about their use of open-source software shows two-faced results:

• OSS acceptance in Germany is steadily growing, and the majority see OSS as a means to strengthen digital sovereignty. Two thirds of the companies want the government to invest more in this area to avoid dependencies.

• However, there is often a lack in strategy, skilled staff, and budget when it comes to the implementation and use of open-source software in companies and public agencies.

This monitor is the only German data source of its kind and provides valuable insights, including time series for several features. The next monitor is expected to be published in 2027. You are welcome to contribute, be it content or financially. Just contact us, we will forward you to the working group Open Source in the project group OS Monitor at Bitkom.

⇾ Download the Bitkom OSM 2025 (PDF)

ASIL B certification process almost complete

In 2024, the base of EB corbos Hypervisor, which is running on our open-source L4Re Hypervisor, was certified by TÜV Süd in accordance with the automotive safety standard ASIL B (also known as ISO 26262), as a Safety Element out of Context (SEooC).

Together with our partner Elektrobit, we worked almost 10 years to realize our vision of the software-defined vehicle. As all the strict safety requirements of the ISO 26262 are met by our L4Re Hypervisor, we are now doing the last steps to get the ASIL B certification for the L4Re Micro Hypervisor and L4Re Hypervisor itself - stay tuned!

________________________________________________________________________________

That’s all for now!

Thank you for your continued interest and trust in us. We look forward to staying in touch and sharing more insights and progress. Until then, we wish you a pleasantly cool and productive summer!

Feel free to forward this newsletter to anyone who shares your interest in operating systems and IT security. You have additions, questions, or want to get in contact? Just give us a call or send a message to adam.lackorzynski@kernkonzept.com!

Best regards,

Adam Lackorzynski
CTO, Kernkonzept GmbH