Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

L4 microkernel family · Vinony

🌐English

English Deutsch Español Français Polski Português Русский فارسی 한국어 中文日本語

EntityQ1797819· pop 14· linked from 203 articles

L4 microkernel family

family of second-generation microkernels

Connections

GNU General Public License

Categories

Capability systems Microkernels Software programmed in assembly language

Sources

wikipedia.externallinksexternallink

MINIX

Entity

Karlsruhe Institute of Technology

operating system

International Standard Book Number

programming language

Wayback Machine

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.53

Entitydist 0.66

Samsung SPH-M800

Entitydist 0.66

Entitydist 0.67

Entitydist 0.68

Entitydist 0.68

Entitydist 0.69

Entitydist 0.70

Samsung SPH-M810

Entitydist 0.70

GeeksPhone Keon

Entitydist 0.70

Samsung SGH-i607

Entitydist 0.70

Entitydist 0.70

What links here203 pages

Versatile Real-Time Executive

Genode OS Framework

Green Hills Software

list of computer scientists

Per Brinch Hansen