3 ms·
I find the L4 Microkernel [0] pretty interesting. The goal of L4 is to make the microkernel architecture performant by making IPC fast. They did this by making
by hendzen 13y ago
I find the L4 Microkernel [0] pretty interesting. The goal of L4 is to make the microkernel architecture performant by making IPC fast. They did this by making the implementations processor dependent; they wrote the IPC code in optimized assembly. A variant [1] of it is actually commonly used in baseband processors. See this paper [2] for a good overview.
[0] - http://os.inf.tu-dresden.de/L4/overview.html http://os.inf.tu-dresden.de/L4/overview.html
[1] - http://www.ok-labs.com/products/okl4-microvisor http://www.ok-labs.com/products/okl4-microvisor
[2] - http://homes.cs.washington.edu/~bershad/590s/papers/towards-ukernels.pdf http://homes.cs.washington.edu/~bershad/590s/papers/towards-...
- tptacek 13y agoL4 is also a very clean, simple codebase. I like it a lot.
- ek 13y agoNot only that, but seL4 [0] is a cool NICTA effort that's been ongoing for almost a decade now to produce a secure, machine-verified microkernel based on L4. It seems like there's lots of room for L4 and its children to occupy interesting spaces in OS design. [0] http://ssrg.nicta.com.au/projects/seL4/ http://ssrg.nicta.com.au/projects/seL4/