Our general purpose, certification-ready L4Re technology provides lean, secure and safe solutions for connected devices in all industries – from automotive and avionics to government agencies. The L4Re hypervisor is the high functional foundation used in many safety and security critical products.









Auto­motive Industry

Our certification-ready L4Re Automotive Hypervisor delivers the safe, secure, and trusted foundation for the next generation’s mobility to innovate safely and securely from ADAS to the Automotive Cloud.

Enabling the software Transformation in Automotive

Electric vehicles and autonomous driving

The automotive industry is in its biggest transformation ever. Traditionally mechanically engineered vehicles are becoming more and more rolling networked devices. As innovation is driven by software the classical approach of “one ECU per function” is no longer feasible, especially because of the weight and cabling in the car required for this. The shift to powerful in-car high-performance-computing (HPC) systems is driven by the need to consolidate functions to reduce costs, weight and space and to foster innovation. However, the need for safety remains and an ever-increasing demand for security poses challenges to these mixed-criticality systems such as complete spatial and temporal isolation of independent software functions.

Consolidation and Automotive HPC

The L4Re Hypervisor provides freedom from interference for all integrated software systems. In that way software systems with different safety levels (ASIL) can be executed on the same hardware. This allows to combine functions with high functional safety requirements together with dynamic functions. The L4Re Hypervisor guarantees the separation even in the case of software changes.

Scalability from Embedded to HPC

L4Re supports embedded MCU systems employing MPU-based memory protection up to multi-core HPC systems, allowing system designers to place their workloads according to performance, space and timing requirements.

High Assurance Industry

The protection of classified information demands the highest safety and security standards. The EAL4+ certified L4Re Operating System Framework is a trusted building block to further German and EU digital sovereignty. Existing products with L4Re inside are already accredited for the highest levels up to GERMAN/EU/NATO SECRET.

Minimal Trusted Computing Base

Guaranteed separation and defined information flow

The government, public authorities, defense and public infrastructures (KRITIS) at all levels are experiencing increasing levels of cyber attacks. To protect their classified information these users demand the highest safety and security standards to safe-guard their assets. Products for these markets must be certified and accredited by national or multinational authorities such as the BSI, EU or NATO before they are allowed to be used in the field.

Guaranteed separation and a defined flow of information is needed. Formerly this was only possible through physical separation of networks.

With the L4Re Operating System Framework and its minimal trusted computing base separate physical machines can be consolidated. Certified and accredited separation, resource, and communication policies at the OS level assure a secure domain transition.

Today the L4Re Operating System Framework is already the trusted foundation for up-to GERMAN/EU/NATO SECRET certified products such as:

Secure Cloud Industry

More and more government agencies are moving their information to the cloud to reduce operational expenses, make information sharing easier and to improve scalability. With its minimal trusted computing base the L4Re Operating System Framework provides the separation to run critical applications and securely store data in the cloud.

The need for a certified cloud infrastructure

Certified Secure Cloud

Deploying services in the cloud is common in today’s IT landscape, facilitating the cost and scalability advantages of the cloud. However, government, public authorities and defense operate with classified data that must be protected at a level of security that goes beyond what’s currently available in common cloud infrastructures. This poses extra requirements on risk mitigation of untrusted or even compromised cloud infrastructures to ensure confidentiality, integrity and availability.

Accordingly, customers of such an infrastructure demand certification and accreditation to national and multinational security standards, such as followed by Germany’s BSI, the EU or NATO, to be deployed in practice.

Ready for Certification

L4Re Operating System Framework

The components of the L4Re Operating System Framework enable customized system solutions – unique, minimal, and specific for your use case. What’s best is the readiness of our open-source software for various safety and security certifications, be it Common Criteria EAL4+ or ASIL/ISO 26262.