L3 microkernel
From Wikipedia, 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 similar design goals.
L3 is also the name of a full operating system based on the L3 microkernel.
Both were developed by Jochen Liedtke and his team at GMD's SET institute.
[edit] External links
 |
This operating system-related article is a stub. You can help Wikipedia by expanding it |
