L3 microkernel

From Biocrawler, the free encyclopedia.

L3 is a microkernel running on Intel's x86 computers. L3 is designed to be "very lean and features fast, message-based, synchronous IPC, simple-to-use external paging mechanisms and a security mechanism based on secure domains (tasks, clans and chiefs)." It is the predecessor of L4, another microkernel with the similar design goals. The microkernel was developed by Jochen Liedtke, who is also the developer of L4, and his team at GMD's SET institute.

External Links

• Official website (http://os.inf.tu-dresden.de/L4/l3.html)

Wikipedia (http://en.wikipedia.org/wiki/Main_Page) L3_microkernel (http://en.wikipedia.org/wiki/L3_microkernel) version history (http://en.wikipedia.org/w/index.php?title=L3_microkernel&action=history) GNU Free Documentation Lizenz (http://en.wikipedia.org/wiki/Wikipedia:Text_of_the_GNU_Free_Documentation_License) CC-by-sa (http://creativecommons.org/licenses/by-sa/2.5/)

---