Liedtke's L4 microkernel

GPTKB entity

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