Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:operating_system
|
| gptkbp:academicPublication |
Jochen Liedtke, 'Improving IPC by kernel design', 1993
|
| gptkbp:creator |
Jochen Liedtke
|
| gptkbp:feature |
fast inter-process communication
flexible memory management small trusted computing base user-level device drivers |
| gptkbp:firstReleased |
1993
|
| gptkbp:influenced |
gptkb:seL4
Fiasco.OC L4Ka::Pistachio |
| gptkbp:license |
open source
|
| gptkbp:notableFor |
minimalist design
high performance |
| gptkbp:operatingSystem |
gptkb:L4
|
| gptkbp:platform |
x86
|
| gptkbp:successor |
L4Ka::Hazelnut
|
| gptkbp:usedIn |
research operating systems
|
| gptkbp:writtenBy |
C
|
| gptkbp:bfsParent |
gptkb:Oberon_System
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Liedtke's L4 microkernel
|