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
Shinnecock Hills, New York

... versus $32,500 for females. The per capita income for the town is $28,378. 13.9% of the population and 7.7% of families are below the poverty line. Out of the total ...

 
 
 
This page was created in 27.9 ms