Dear ,
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!
Kernkonzept and Lauterbach present Arm Cortex-R82AE Hypervisor Solution Our latest news is the herald of a new era in automotive software development: In November, we announced our hypervisor solution for the Arm® Cortex®-R82AE CPU together with Lauterbach. Developers of Software Defined Vehicle (SDV) architectures can now get insight into the full SDV software stack and start software development before the physical System-on-a-Chip (SoC) is available. This joint solution consists of our L4Re Hypervisor running on Arm Fixed Virtual Platforms (FVPs) and Lauterbach's TRACE32® debug and trace tools. It is the industry's first solution fully covering virtualized software architectures on the Arm Cortex-R82AE. ⇾ Learn more about this revolution
Achievement: First ASIL B certification based on open-source L4Re Hypervisor
The EB corbos Hypervisor, which is built on our microkernel-based L4Re Operating System Framework, has received certification from TÜV SÜD as a Safety Element out of Context (SEooC) under the ISO 26262 ASIL B and the SIL 2 standard. This certification is an important step for the automotive industry towards the integration of open-source operating systems in the software-defined vehicle (SDV). Based on our open-source L4Re Operating System Framework and its virtualization capabilities, customers can now choose a certified and independent hypervisor solution with unparalleled flexibility. The L4Re-based EB corbos Hypervisor is already the secure foundation of EB corbos Linux for Safety Applications.
⇾ Read the news
World-first: Development of Virtualized RISC-V Systems with Lauterbach
Everyone agrees that virtualization is the key to developing the Software Defined Vehicle (SDV), where multiple safety-critical and non-critical applications are running on the same platform. Thanks to our collaboration with Lauterbach, we can now provide developers with a means to start designing automotive software long before the chips are delivered in silicon. VMs and applications on our L4Re Hypervisor are fully debuggable with Lauterbach's TRACE32 now, running on QEMU's Generic RISC-V Virtual Platform. Long before silicon is available, this gives developers the possibility to analyze the entire software stack, including the L4Re Hypervisor and all virtual machines, with TRACE32 debugger and tracer. This is the first time that a RISC-V software for virtualized software architectures can be developed, debugged, and tested on the well-known and widely used emulation platform QEMU. Together with Lauterbach, we support virtualized software architectures for RISC-V from the very beginning.
⇾ Learn more about it
Progress: National Secure Cloud (NSC)
For more than a year, Kernkonzept has been working closely with our partner companies IABG, Utimaco and infodas to launch the National Secure Cloud: NSC aims to implement a secure, secrecy-approved cloud service for government agencies to securely store and share confidential and sensitive data. By separating security domains, the NSC can run several protection levels on the same hardware, which is highly cost efficient. By using open-source technologies like our L4Re Secure Separation Kernel, the NSC also offers transparency and flexibility, lowering dependencies from proprietary technologies of international hyperscalers. Our high-assurance cloud infrastructure fulfills the requirements of the BSI in offering security domains and secure domain transitions for agencies and the military. To give you more in-depth information about our project, its tasks and our current status of implementation, the project partners have drafted an informative brochure you can download for free from our website. ⇾ Download NSC brochure
Recap: NXP Tech Days Detroit with Demo on NXP S32Z
In October, we attended the renowned NXP Technology Days in Detroit, bringing along our open-source L4Re Micro Hypervisor on the NXP S32Z with multiple VMs – among them SOAFEE's OpenAD Kit blueprint running next to other VMs with FreeRTOS and Zephyr guests. As a member of SOAFEE and Arm partner, we showcased our L4Re Hypervisor framework together with the SOAFEE reference platform EWAOL, to demonstrate how you can seamlessly operate virtual machines across different platform software stacks to allow flexible system designs for various applications, including navigation and safety-critical functions. We were also honored to join NXP's talk on "Isolation and Virtualization for Real-Time Cores", discussing how the L4Re Hypervisor can help with the decoupling of hardware and software to enhance flexibility for software design and implementation. ⇾ Read our recap
Bitkom Position Paper Published In addition to our constant development of the open-source L4Re Operating System Framework, we are also committed to open-source software in general. One result of our work in this area is the position paper on open source software by the German industry association Bitkom, which will be placed in the upcoming federal election in Germany in February 2025.
⇾ Download the Position Paper for free
New webinar "Get to Know the L4Re Micro Hypervisor" on 27 February 2025
In 2023, we launched the L4Re Micro Hypervisor, which today is already 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 dedicated webinar, we will explain how virtualization works in general and how the L4Re Micro Hypervisor is supported by the Armv8-R Cortex-R family in particular. We will discuss various use cases and deployment options and we will give an outlook into the future from the view of an independent OS- and Hypervisor supplier. Sign up now for our live webinar on 27 February 2025, starting 5 pm (CET), to learn more about the benefits of the open-source L4Re Micro Hypervisor. Together with our most experienced operating software engineer Jan Klötzke, our CTO Adam Lackorzynski will answer your questions. ⇾ Register for the webinar
Next Workshop "Getting Started with L4Re" on 8-10 April 2025
After our first open introductory workshop about the open-source software L4Re that our company has been developing and maintaining since its founding in 2012 turned out a big success, we are now announcing the second edition: From 8 to 10 April 2025, we invite you to our office in Dresden, where you will take your first steps with L4Re under the experienced guidance of our Customer Success Engineer Matthias Lange.
This is an exclusive offer for a small number of participants, so you best secure your spot right now!
⇾ Secure your seat for the L4Re Workshop
If you liked what you read, please share this newsletter with your colleagues, friends, and IT students who are interested in microkernel architecture.
You have additions, questions, or want to get in contact? Just give us a call or send a message to adam.lackorzynski@kernkonzept.com! We are really interested in your opinion.
Best regards,
Adam Lackorzynski CTO, Kernkonzept GmbH
|