Encyclopedia > L4 microkernel family

  Article Content

L4 microkernel family

Originally, L4 is the name of a second-generation microkernel designed and implemented by Jochen Liedtke, running on Intel 486 and Pentium CPUs. However, there are now numerous implementations of the L4 API on several hardware architectures.

Kernels based on the L4 API are second-generation microkernels. They are very lean and feature fast, message-based, synchronous IPC, simple-to-use external paging mechanisms, and a security mechanism based on secure domains (tasks, clans and chiefs). The kernels try to implement only a minimal set of abstractions on which operating systems can be built flexibly.

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Islandia, New York

... population is spread out with 24.7% under the age of 18, 6.9% from 18 to 24, 36.3% from 25 to 44, 25.1% from 45 to 64, and 7.0% who are 65 years of age or older. Th ...

This page was created in 25.5 ms