[back to L4 home page]
 

The L4 µ-Kernel Family

L4/x86

Navigate L4/x86 Section:


Site Navigation:

(* = offsite link)

Quick links:

The L4/x86 µ-kernel

The L4/x86 µ-kernel has been developed by Jochen Liedtke at GMD, IBM Watson Research Center, and Universität Karlsruhe.

Together with Fiasco, the L4/x86 µ-kernel forms the basis of the DROPS operating systems project which supports running real-time and time-sharing applications concurrently on one computer.

To support standard time-sharing applications, we have created L4Linux, a Linux server for L4 which can be run using a standard Linux distribution on L4/x86 without recompiling anything. L4Linux runs in user mode as an application program on top of L4/x86.

On this site, you'll find the following information:


Last modified: Thu Jun 21 19:10:04 2001


Operating Systems Group