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 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.