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
Father Damien

... the Fathers of the Sacred Heart of Jesus and Mary[?] at Louvain, and was admitted to the religious profession on October 7, 1860. Three years later he was sent to Hawaii, ...

This page was created in 73.9 ms