L4 microkernel family

Property	Value
rdf:type	Microkernel owl:NamedIndividual Capability system
rdfs:label	L4 microkernel family
owl:sameAs	dbr:L4_microkernel_family
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Security-focused_operating_system http://en.wikipedia.org/wiki/Category:Microkernels http://en.wikipedia.org/wiki/Category:Capability_systems http://en.wikipedia.org/wiki/L4
skos:prefLabel	L4 microkernel family
skos:altLabel	L4 Fiasco Pistachio Embedded L4 microkernel Fiasco.OC L4 microkernel L4 microkernel family#High assurance: seL4 L4 microkernel family#L3 L4 microkernel family#L4/Fiasco L4 microkernels L4A Pistachio L4Ka::Pistachio OKL4 SeL4 UNSW L4 Project family of microkernels seL4
clgo:developer	Jochen Liedtke
clgo:language	Germany
clgo:license	Library (computing) Formal proof Source code Programming tool
is clgo:knownFor of	Jochen Liedtke

About: clgr:L4_microkernel_family