L4 microkernel family

GPTKB entity

Statements (34)
Predicate Object
gptkbp:instanceOf microkernel family
gptkbp:designedBy Jochen Liedtke
gptkbp:firstReleased 1993
https://www.w3.org/2000/01/rdf-schema#label L4 microkernel family
gptkbp:influenced gptkb:seL4
Fiasco.OC
L4Ka::Pistachio
L4Linux
OKL4
gptkbp:influencedBy gptkb:Mach_microkernel
gptkbp:notableFor gptkb:seL4
Hazelnut
Fiasco.OC
L4Ka::Hazelnut
L4Ka::Pistachio
L4/ARM
L4/Alpha
L4/ESP
L4/Fiasco
L4/IA-64
L4/MIPS
L4/PowerPC
L4/x86
L4Android
L4Linux
L4Re
OKL4
gptkbp:originalImplementationLanguage gptkb:assembly_language
C
gptkbp:usedIn embedded systems
mobile phones
real-time systems
gptkbp:bfsParent gptkb:seL4_microkernel_verification
gptkbp:bfsLayer 7