Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:operating_system
|
| gptkbp:developer |
Jochen Liedtke
|
| gptkbp:firstReleased |
1993
|
| gptkbp:influenced |
gptkb:seL4
Fiasco.OC L4Ka::Pistachio L4Linux |
| gptkbp:influencedBy |
L3 microkernel
|
| gptkbp:license |
various open source licenses
|
| gptkbp:notableFeature |
high performance
microkernel architecture minimal trusted computing base |
| gptkbp:notableFor |
gptkb:seL4
Hazelnut Fiasco.OC L4Ka::Pistachio L4Linux |
| gptkbp:operatingSystem |
L4 family
|
| gptkbp:platform |
gptkb:ARM
gptkb:PowerPC gptkb:MIPS x86 |
| gptkbp:purpose |
secure and efficient microkernel for operating systems
|
| gptkbp:website |
https://os.inf.tu-dresden.de/L4/
|
| gptkbp:writtenBy |
gptkb:assembly_language
C |
| gptkbp:bfsParent |
gptkb:Nanokernel
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
L4 nanokernel
|