L4Re Operating System Framework

L4Re Operating System Framework Components

The L4Re Operating System Framework components enable tailor-made system solutions that are unique, minimal, and specific for your use case.

Build your System with a minimal Trusted Computing base

L4Re Operating System Framework

The L4Re Operating System Framework with its modular system architecture is based on decades of experience. It enables tailor-made system solutions that are unique, minimal, and specific for your use case. Uniform interfaces and APIs from the L4Re Microkernel through the L4Re Core Foundation and up to the L4Re Application Services allow the implementation of use-case specific policies and rules in a minimal way without bloating critical parts of the system or influencing independent components.

Kernkonzept uses the L4Re Operating System Framework as a platform with which we develop all tailor-made L4Re-solutions for our customers. For us it is a large tool kit to build minimal operating system solutions and hypervisor solutions according to the Principle Of Least Authority (POLA) enabling Zero Trust. This tool kit includes the L4Re Microkernel, the L4Re Core Foundation, L4Re Operating System Services, L4Re Operating System Libraries and L4Re Application Services.

The Framework is characterized by its multi-server architecture known from distributed systems and implements real security by design. Unlike in traditional operating systems which require to invent multiple complex sandboxing mechanisms to implement the Principle Of Least Authority (POLA), the design of the L4Re Operating System Framework has been guided by that principle. With its state-of-the-art object capability security mechanism POLA is the soul of the L4Re Operating System, protecting your applications and use-cases.

L4Re Core Foundation

L4Re Core Foundation provides fundamental software services and abstractions for the L4Re Operating System and Application Services. The L4Re Microkernel and L4Re Core Foundation are co-designed so that they provide a generic interface that does not mandate any use-case.

For compatibility with existing software, L4Re Core Foundation supports a selected set of POSIX and C++ standard APIs. This makes porting existing software easier protecting your investment while you can instantly profit from the enhanced security capabilities of the L4Re Operating System Framework.

L4Re Operating System Services

The L4Re Operating System Services provide essential operating-system services for your application. The L4Re Operating System Framework includes, but is not limited to, services for storage (MMC, AHCI, NVMe), virtual networking between applications based on Virtio and GUI.

L4Re Operating System Services Libraries

The L4Re Operating System Libraries are a set of libraries that are used to implement the L4Re Operating System Services. You can use these libraries to implement your own services. The L4Re Operating System Framework includes libraries for basic application support such as a libc and C++ standard libary, as well as virtio, device drivers and event handling.

L4Re Application Services

The L4Re Application Services provide services for other applications and are the applications themselves. This can be a native L4 application, also called Micro-Apps, or a virtual machine that hosts your existing applications.

L4Re Microkernel

The L4Re Microkernel is a state-of-the-art microkernel, featuring latest advances in security design by providing capabilities and local namespaces for applications, features that are brought to other systems as an after-thought only. It is the foundation of the L4Re Operating System and Hypervisor Framework, which allows the construction of flexible, static, or, dynamic systems for real-time, time-sharing and virtualization applications. It seamlessly scales from small embedded systems to big server machines with hundreds of CPUs and terabytes of RAM.

It can be used as separation kernel or with more operating system functionalities. See our list of board support packages (BSPs) that are already supported by the L4Re Framework today.

Modern, Secure, Flexible

Benefits of L4Re

Get in touch

Your personal contact

To get you started get in touch with our customer success engineers.