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
|