Explore relationships

L4 microkernel family

L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable Operating System Interface (POSIX) compliant types.

Use + to expand a branch. Click a topic name to open its summary.