On our website, we would like to use the services of third-party providers who help us improve our promotional offerings (marketing), evaluate the use of our website (performance) and adapt the website to your preferences (functionality). We need your consent for the use of these services; you can always revoke this consent. You can find information about the services and the chance to reject them under “User-defined.” You can find additional information in our Data Protection Policy.

2 - 4 March 2021 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2020
Zoom Image LOGO_L4Re Microkernel

L4Re Microkernel

LOGO_L4Re Microkernel

L4Re Microkernel

Request information Request information

Contact us

Please enter your personal information and desired appointment. You can also leave us a message.

Your personal information

Your message for us

Desired appointment during the exhibition

* Compulsory fields you must fill in.

Information on data protection can be found here.

Send
Your message has been sent.

You do not have a registration yet? Register now and use all advantages of the Exhibitors and Products Database, the supporting programme and the TicketShop.

An error has occurred.

The L4Re microkernel uses an evolved L4 microkernel interface based on object capabilities. The microkernel manages and protects capabilities as object references with virtual (protection-domain-local) names. L4Re microkernel and runtime environment constitute a seamless capability system that names all (kernel and userspace-implemented) objects and resources and provides a uniform and secure access method for them (invoke system call).

The L4Re Microkernel serves as the heart of the L4Re system and functions as a microhypervisor, separation kernel, and real-time microkernel. It implements only those mechanisms that need to reside in the CPU’s privileged mode: address spaces, threads, and inter-process communication. All other operating-system components, including all device drivers and access policies, are implemented in user-mode application programs or encapsulated in virtual machines.

Unlike traditional L4 kernels, the L4Re microkernel provides access control (through local naming) and security enhancements aimed at preventing resource exhaustion.

The L4Re microkernel supports various modern hardware platforms with

ARM, MIPS, and x86 CPUs (32 and 64 bits), multicore and SMP multiprocessing, and hardware virtualization.

Characteristics

• 3rd-generation, minimal, security-centric real-time microkernel

• Supports both static and dynamic system designs

• Supports open, yet confined, systems with user-installed apps

• Access control and uniform resource access with kernel-protected object capabilities

• Device drivers and VMMs are untrusted user-level components

• Open-source code builds trust, allows custom development, and eases evaluations

Visit us: https://github.com/kernkonzept

top

The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.