Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:operating_system
|
| gptkbp:basedOn |
gptkb:L4_microkernel_family
|
| gptkbp:developedBy |
Open Kernel Labs
|
| gptkbp:discontinued |
yes
|
| gptkbp:feature |
high security
inter-process communication real-time scheduling virtualization support small memory footprint |
| gptkbp:firstReleased |
2006
|
| https://www.w3.org/2000/01/rdf-schema#label |
OKL4 microkernel
|
| gptkbp:license |
gptkb:GPL
proprietary |
| gptkbp:operatingSystem |
gptkb:operating_system
|
| gptkbp:platform |
gptkb:x86_architecture
gptkb:ARM_architecture |
| gptkbp:successor |
L4Ka::Pistachio
|
| gptkbp:usedIn |
embedded systems
mobile phones Qualcomm MSM chipsets |
| gptkbp:website |
https://www.ok-labs.com/
|
| gptkbp:writtenBy |
C
|
| gptkbp:bfsParent |
gptkb:NICTA
|
| gptkbp:bfsLayer |
7
|