|
| |
| | ||
L4Re News: Major announcements to kick off 2025 |
||
|
| | ||
|
Dear , from the first half of 2025, we have some major news to share with you. There are 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. In this issue, we share what’s new at Kernkonzept — and how it can support your work with L4Re. L4Re Secure Separation Kernel CC 1.0.1 certified as CC EAL4+ In February 2025, our L4Re Secure Separation Kernel CC 1.0.1 received the Common Criteria (CC) certification according to Evaluation Assurance Level 4+ (EAL 4+). This internationally recognized high-security certification is regarded as a benchmark for tested trustworthiness and shows our consistent commitment to the highest security standards. Shortly after this year's first big achievement, we celebrated the next: In March 2025, the BSI-approved GEHEIM level for the L4Re Secure Separation Kernel VS 1.0.0 was supplemented by BSI for use up to level NATO SECRET. The NATO SECRET approval is particularly relevant for government authorities and companies in the defense and critical infrastructure sector, as data classified accordingly may only be processed with the approval for NATO SECRET. L4Re is the first and currently the only separation kernel with the NATO SECRET security level. With its microkernel-based operating system, Kernkonzept thus offers another important building block for IT security and the digital sovereignty of Europe and global security. We have relaunched the L4Re.org website! To make L4Re more accessible and easier to explain to users, we started a fundamental revision of our L4Re documentation. After maintaining very technical documentation with Doxygen for many years, we are now adding more explanations at a more general level and many examples on L4Re.org. From a quick architectural overview and a guide how to get started, we dive deep into L4Re with use cases, tutorials, demos and references. Do you miss something or want to supplement your own contributions? Get in touch with us! Presenting the Compositional Approach at OmniSecure 2025 At OmniSecure 2025 in Berlin, our CEO Dr. Michael Hohmuth, Customer Success Engineer Matthias Lange and Head of Product Katrin Kahle joined atsec CEO, Dr. Michael Vogel, for a joint presentation on the L4Re Compositional Approach. The L4Re Secure Separation Kernel VS 1.0.0 is the first OS foundation purpose-built for this model. It remains the only platform today that meets strict hardware requirements while fully enabling compositional certification. ⇾ If you're working on VS-classified systems, the presentation slides are well worth a look — download them from the OmniSecure website Mobex Webinar "Enabling scalable and adaptable zonal and central SDV architectures with the L4Re Micro Hypervisor" In 2023, we launched the L4Re Micro Hypervisor, which is by now included as reference hypervisor with NXP’s S32Z/E Vehicle Integration Platform and also supports the Cortex-R52 processor on a variety of other platforms, as well as the newly launched Cortex-R82AE processor. In a webinar on the Mobex platform by Automotive World, our CTO Adam Lackorzynski and Senior Software Engineer Jan Klötzke talked about virtualization and how the L4Re Micro Hypervisor is supported by the Armv8-R Cortex-R family in particular. To rewatch the webinar, simply sign up for free on Mobex.
Stay tuned and feel free to forward this newsletter to colleagues who share your interest in operating systems and IT security. |
||
| | ||
| |
| |
|
| |