L4 microkernel family
Operating system
>
L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems, though mostly for Unix-like, Portable Operating System Interface compliant types. Wikipedia
Developer: Jochen Liedtke
License: Source code, proofs: GPLv2; Libraries, tools: BSD 2-clause
OS family: L4
Source model: Open source, closed source