L4 Microkernel Family

L4 Microkernel Family

L4 is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other systems.

L4 was a response to the poor performance of earlier microkernel-base operating systems. German computer scientist Jochen Liedtke felt that a system designed from the start for high performance, rather than other goals, could produce a microkernel of practical use. His original implementation in hand-coded Intel i386-specific assembly language code sparked off intense interest in the computer industry. Since its introduction, L4 has been developed for platform independence and also in improving security, isolation, and robustness.

There have been various re-implementations of the original binary L4 kernel interface (ABI) and its higher level successors, including L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) and Fiasco (TU Dresden). For this reason, the name L4 has been generalized and no longer only refers to Liedtke's original implementation. It now applies to the whole microkernel family including the L4 kernel interface and its different versions.

L4 is widely used; Open Kernel Labs claims deployment of one billion L4 kernels.

Read more about L4 Microkernel FamilyDesign Paradigm, History, Current Research and Development, Commercial Deployment

Other articles related to "l4 microkernel family, l4":

L4 Microkernel Family - Commercial Deployment
... announced that Qualcomm was deploying NICTA's L4 version on their Mobile Station Modem chipsets ... This led to the use of L4 in mobile phone handsets on sale from late 2006 ... Gernot Heiser spun out a company called Open Kernel Labs (OK Labs) to support commercial L4 users and further develop L4 for commercial use, in close collaboration with NICTA ...

Famous quotes containing the word family:

    Because it’s not only that a child is inseparable from the family in which he lives, but that the lives of families are determined by the community in which they live and the cultural tradition from which they come.
    Bernice Weissbourd (20th century)