Software

L4 microkernel family

family of second-generation microkernels

Overview text may include a short Wikipedia extract. See sources.

Also known as L4

Official website Wikipedia article Wikidata item