Press & Media

Please use our press archive for your reporting about Kernkonzept GmbH and the L4Re Operating System Framework.

Press and Media Kernkonzept

You are a journalist or blogger and have questions about Kernkonzept GmbH or L4Re?

On this page, you can search our press release archive and download logos and labels for your media coverage.

Overview
Subscribe
Download

Company text

Who is Kernkonzept?

Kernkonzept GmbH is a midsize company providing secure and safe virtualization and operating-system technology. In addition to our microkernel-based L4Re Operating System Framework, we also offer comprehensive services around Linux and other open source operating systems. Our multinational team is based in Dresden, the capital of operating systems.

With unsurpassed knowledge and experience, our system engineers create solutions with real-time capabilities and virtualization support for complex software products.

We advise, guide and support our customers in safety-conscious industries like automotive or avionics as well as public institutions, providers of high-assurance and cloud security, server and embedded systems.

  • September 15, 2025

Kernkonzept switches L4Re from GPLv2 to MIT License

Kernkonzept, maintainer and primary developer of the open source L4Re Operating System Framework, is changing the project’s license from the GNU General Public License version 2 (GPLv2) to the MIT License, effective September 15, 2025.
L4Re Secure Separation Kernel VS NATO SECRET
  • July 21, 2025

L4Re Secure Separation Kernel VS 1.0.0 approved for NATO SECRET

The German Federal Office for Information Security (BSI) has granted the L4Re Secure Separation Kernel VS 1.0.0 approval for the classification level NATO SECRET.
EvIT Formula-V Cyberagentur
  • July 15, 2025

Kernkonzept joins research on verifiably secure IT to strengthen cybersecurity in Germany and Europe

To protect sensitive data and critical systems, Germany’s Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) has launched the EVIT research program (Ecosystem Formally Verifiable IT – Provable Cybersecurity, EVIT). Kernkonzept joins the Formula-V research group to help build IT systems that can be mathematically proven to be secure.

Press archive

Overview of press releases

  • March 13, 2024

Kernkonzept’s L4Re Hypervisor family supports latest Arm automotive technology to kickstart software development

Kernkonzept’s L4Re Hypervisor family supports the new automotive technologies from Arm® to enable software development to begin as soon as new solutions come to market.
  • 23. Januar 2024

“German GEHEIM” approval by BSI for Kernkonzept’s L4Re Secure Separation Kernel

The L4Re Secure Separation Kernel has been approved by the German Federal Office for Information Security (BSI) for processing classified information up to level GEHEIM (secret).
  • May 2, 2023

L4Re Micro Hypervisor as Reference Hypervisor for NXP® S32Z Released

Kernkonzept GmbH has released the open-source L4Re Micro Hypervisor as a reference hypervisor for NXP® Semiconductors’ S32Z and S32E real-time processors.

Downloads

Logos and labels

Download our logos and labels for your reporting from the links below. It’s very important to use the current version of our company logo or the L4Re label. Please use the links below and don’t download a logo from a Google search page, which may be out of date or incorrect.

KERNKONZEPT Logo

Kernkonzept RGB Logo quer SW

Kernkonzept (primary)

Logo files are available in PNG and SVG format

  • Notes on use

The Kernkonzept logo may only be used in the defined colors, if necessary, in a black and white version. The word and figurative mark must be used only in combination. The Kernkonzept logo stands in a protected zone. The protected area is defined by the height of the Kernkonzept lettering. A uniform area with this defined distance must be maintained around each logo.

L4re label

L4Re

Logo files are available in PNG and SVG format

  • Notes on use

The L4Re logo may only be used in the defined color; if necessary, an inverted and a black and white version are available. The protective space of the logo is defined by twice the letter height of the L4Re lettering. A uniform area with this defined distance must be maintained around the logo.

Subscribe

Join our press distribution list

Keep informed about Kernkonzept's latest innovations, developments and projects.

Please enter a number between 5 and 8 above.

Get in touch

Your personal contact

You have a question about Kernkonzept GmbH or our open-source technology L4Re? We are happy to help you!