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
|
https://www.w3.org/2000/01/rdf-schema#label |
Liedtke's L4 microkernel
|
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
|