CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Microkernel
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Microkernel
rdfs:
subClassOf
Software
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Microkernels
is
rdf:
type
of
ThreadX
GNOSIS
K42
NLTSS
QNX
Amoeba (operating system)
Minix 3
EROS (microkernel)
RC 4000 multiprogramming system
Nucleus RTOS
SPIN (operating system)
VSTa
Phantom OS
AmigaOS
MacMach
Micro-Controller Operating Systems
DNA-OS
MQX
Nintendo Switch system software
Lites
JX (operating system)
Versatile Real-Time Executive
Eumel
Hydra (operating system)
MicroEmpix
Midori (operating system)
RIOT (operating system)
Minix-vmd
EKA1
Integrity (operating system)
WarpOS
AROS Research Operating System
Mac OS 8
Green Hills Software
HelenOS
OS2000
Multi-Environment Real-Time
BareMetal
PowerUP (accelerator)
MkLinux
Nukernel
GNU Mach
MorphOS
V (operating system)
GNU Hurd
Exokernel
Copland (operating system)
Symbian
Mach (kernel)
PikeOS
Vanguard (microkernel)
Quark (kernel)
Minix
SharpOS
MachTen
Microkernel
UNICOS
NuttX
TI-RTOS
Singularity (operating system)
ARX (operating system)
BeRTOS
JavaOS
Barrelfish (operating system)
Spring (operating system)
ChorusOS
L4 microkernel family
Meiko Scientific
Workplace OS
REX OS
Tinix
OpenComRTOS
Verve (operating system)
ChibiOS/RT
Exec (Amiga)
FreeRTOS
Taligent