<http://dbpedia.org/resource/PikeOS>	<http://xmlns.com/foaf/0.1/homepage>	<http://www.sysgo.com/products/pikeos-rtos-and-virtualization-concept/> .
<http://dbpedia.org/resource/PikeOS>	<http://dbpedia.org/ontology/latestReleaseVersion>	"3.4" .
<http://dbpedia.org/resource/PikeOS>	<http://dbpedia.org/ontology/thumbnail>	<http://commons.wikimedia.org/wiki/Special:FilePath/PikeOS_Architecture.svg?width=300> .
<http://dbpedia.org/resource/PikeOS>	<http://dbpedia.org/ontology/developer>	<http://dbpedia.org/resource/SYSGO> .
<http://dbpedia.org/resource/PikeOS>	<http://xmlns.com/foaf/0.1/name>	"PikeOS"@en .
<http://dbpedia.org/resource/PikeOS>	<http://xmlns.com/foaf/0.1/depiction>	<http://commons.wikimedia.org/wiki/Special:FilePath/PikeOS_Architecture.svg> .
<http://dbpedia.org/resource/PikeOS>	<http://www.w3.org/2000/01/rdf-schema#comment>	"PikeOS is a microkernel-based real-time operating system made by SYSGO AG. It is targeted at safety and security critical embedded systems. It provides a partitioned environment for multiple operating systems with different design goals, safety requirements, or security requirements to coexist in a single machine.If several programs having different criticality levels are to coexist in one machine, the underlying OS must ensure that they remain independent."@en .