<http://dbpedia.org/resource/Soft_Hard_Real-Time_Kernel>	<http://dbpedia.org/ontology/status>	"Current" .
<http://dbpedia.org/resource/Soft_Hard_Real-Time_Kernel>	<http://dbpedia.org/ontology/latestReleaseVersion>	"1.5.3" .
<http://dbpedia.org/resource/Soft_Hard_Real-Time_Kernel>	<http://dbpedia.org/ontology/license>	<http://dbpedia.org/resource/GNU_General_Public_License> .
<http://dbpedia.org/resource/Soft_Hard_Real-Time_Kernel>	<http://dbpedia.org/ontology/latestReleaseDate>	"2007-01-17Z"^^<http://www.w3.org/2001/XMLSchema#date> .
<http://dbpedia.org/resource/Soft_Hard_Real-Time_Kernel>	<http://dbpedia.org/ontology/developer>	<http://dbpedia.org/resource/Sant\u0027Anna_School_of_Advanced_Studies> .
<http://dbpedia.org/resource/Soft_Hard_Real-Time_Kernel>	<http://www.w3.org/2000/01/rdf-schema#comment>	"S.Ha.R.K. (the acronym stands for Soft Hard Real-time Kernel) is a completely configurable kernel architecture designed for supporting hard, soft, and non real-time applications with interchangeable scheduling algorithms."@en .
<http://dbpedia.org/resource/Soft_Hard_Real-Time_Kernel>	<http://xmlns.com/foaf/0.1/name>	"S.Ha.R.K."@en .
<http://dbpedia.org/resource/Soft_Hard_Real-Time_Kernel>	<http://xmlns.com/foaf/0.1/homepage>	<http://shark.sssup.it/> .