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
|